hs-to-coq
latest
Contents:
Installation
Quickstart
Edit Files
Identifiers and Notation
Interface files
hs-to-coq
Docs
»
Index
Edit on GitHub
Index
Symbols
|
A
|
C
|
D
|
E
|
I
|
M
|
O
|
P
|
R
|
S
|
T
|
U
|
W
Symbols
--iface-dir <dir>
command line option
--permissive
command line option
--strict
command line option
-e <editfile>
command line option
-m <midamble-file>
command line option
-o <dir>
command line option
-P
command line option
-p <preamble-file>
command line option
-S
command line option
A
add scope, edit
add, edit
,
[1]
alias module, edit
axiomatize definition, edit
axiomatize module, edit
axiomatize original module name, edit
C
class kinds, edit
coinductive, edit
collapse let, edit
command line option
--iface-dir <dir>
--permissive
--strict
-P
-S
-e <editfile>
-m <midamble-file>
-o <dir>
-p <preamble-file>
corecursive, termination argument
D
data kinds, edit
deferred, termination argument
delete unused type variables, edit
E
except in, edit
I
import, edit
in, edit
inline mutual, edit
invariant, edit
M
manual notation, edit
measure, termination argument
O
obligations, edit
order, edit
P
polykinds, edit
polyrec, edit
promote, edit
R
redefine, edit
rename module, edit
rename type, edit
rename value, edit
rewrite, edit
S
set type, edit
skip case pattern, edit
skip class edit
skip constructor, edit
skip equation, edit
skip method, edit
skip module, edit
skip, edit
struct, termination argument
T
termination, edit
type synonym, edit
U
unaxiomatize definition, edit
W
wf, termination argument
Read the Docs
v: latest
Versions
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.