Please enable JavaScript in your browser!
Startsida
Utforska
Hjälp
Logga in
caryoscelus
/
agda
Bevaka
1
Stjärnmärk
0
Fork
0
Filer
Ärenden
0
Pull-förfrågningar
0
Wiki
Gren:
js_amd_patch
Grenar
Taggar
js_amd
js_amd_patch
working
Commit History
Sök
Upphovsman
SHA1
Meddelande
Datum
ulfn
76730c04f7
fixed broken benchmark examples
11 år sedan
ulfn
c9ae0656cf
made some changes to accomodate the new level representation
13 år sedan
Nils Anders Danielsson
48473b335d
An example that should arguably typecheck faster.
15 år sedan