Please enable JavaScript in your browser!
Home
Esplora
Aiuto
Accedi
caryoscelus
/
agda
Segui
1
Vota
0
Forka
0
File
Problemi
0
Pull Requests
0
Wiki
Ramo (Branch):
js_amd
Rami (Branch)
Tag
js_amd
js_amd_patch
working
Cronologia Commit
Cerca
Autore
SHA1
Messaggio
Data
ulfn
c3300b11f0
type checking of named implicit arguments
18 anni fa
ulfn
75065f49c0
syntax for named implicit arguments (ignored when type checking)
18 anni fa
ulfn
ff2ccf61c4
checking that metas have been solved (only batch mode)
19 anni fa