caryoscelus/agda

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