caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
ulfn	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	18 سال پیش
ulfn	671702ec53 more work on the library	18 سال پیش
ulfn	a743a78cb7 open A, public now exports things in A from the current module	18 سال پیش