 Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 年之前 |
 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
|
d83136120e
enhanced constraint solving for injective functions
|
17 年之前 |
|
ulfn
|
f7db0ca658
working coverage checker
|
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
|
dcd5eea43d
names containing _ are automatically operators (e.g. \_+_ x -> x + x)
|
18 年之前 |
|
ulfn
|
09dcb14708
updated examples to use new operator syntax
|
18 年之前 |
|
ulfn
|
a1413ce0c7
better rules for lexing names (x:A is no longer a name)
|
18 年之前 |
|
ulfn
|
41db091279
vec example
|
18 年之前 |
|
ulfn
|
fc352fb014
vec example
|
18 年之前 |
|
ulfn
|
8979f23cf3
postpone conversion check for blocked terms
|
18 年之前 |
|
ulfn
|
b515d352e3
aim4 batch patch
|
18 年之前 |
|
ulfn
|
0c117e1be0
conor's summer school example
|
18 年之前 |
|
ulfn
|
7c734f19ca
vector example (Conor, TYPES Summer School)
|
18 年之前 |
