 Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 年 前 |
 andreas.abel
|
0f5514d460
Freeze meta variables after each declaration.
|
13 年 前 |
 ulfn
|
f06402b73b
disabled Prop
|
14 年 前 |
 Nils Anders Danielsson
|
8819c245eb
Disabled the --proof-irrelevance flag.
|
15 年 前 |
|
Nils Anders Danielsson
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 年 前 |
 ulfn
|
932d196be4
Module name file name correspondence is now enforce also for the main module
|
16 年 前 |
|
ulfn
|
f7db0ca658
working coverage checker
|
17 年 前 |
|
ulfn
|
c5811e0c11
more more bug fixes in module system
|
17 年 前 |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 年 前 |
|
ulfn
|
cc06880657
fixed bug of trying to solve a constraint in the wrong context
|
18 年 前 |
|
ulfn
|
f7d0edc7b4
fixed bug which resulted in constraints disappearing
|
18 年 前 |
|
ulfn
|
e9e0dae12d
generate blocked terms
|
18 年 前 |
|
ulfn
|
a20e402b31
fixes in examples
|
18 年 前 |
|
ulfn
|
dcd5eea43d
names containing _ are automatically operators (e.g. \_+_ x -> x + x)
|
18 年 前 |
|
ulfn
|
09dcb14708
updated examples to use new operator syntax
|
18 年 前 |
|
ulfn
|
81ca23fd80
chasing space leaks
|
18 年 前 |
|
ulfn
|
a1413ce0c7
better rules for lexing names (x:A is no longer a name)
|
18 年 前 |
|
ulfn
|
fcae2a8e31
setoid example in make test
|
18 年 前 |
|
ulfn
|
f7527673e8
setoid example
|
18 年 前 |
|
ulfn
|
24e9db6c43
examples
|
18 年 前 |
|
ulfn
|
4bade2045b
setoid example
|
18 年 前 |
|
ulfn
|
059516e6f6
setoid example (plus function)
|
18 年 前 |
|
ulfn
|
48521d344b
setoid example
|
18 年 前 |
|
ulfn
|
5ad0c7acda
setoid example
|
18 年 前 |
|
ulfn
|
4ead912f6f
setoid example
|
18 年 前 |
|
ulfn
|
8c41e1d877
setoid example
|
18 年 前 |
|
ulfn
|
aff425c85a
setoid example
|
18 年 前 |
|
ulfn
|
fecc0da76f
setoid example
|
18 年 前 |
