Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 vuotta sitten |
ulfn
|
76730c04f7
fixed broken benchmark examples
|
11 vuotta sitten |
Nils Anders Danielsson
|
d6d50f4ef5
Instantiate meta-variables before storing function definitions.
|
15 vuotta sitten |