[Agda] is Category directory in agda-std library a complete version?
Mandy Martino
tesleft at hotmail.com
Thu Jan 28 05:46:06 CET 2016
SGksDQoNCmkgZmluZCB0aGF0IHRoZXJlIGlzIGxlc3MgbnVtYmVyIG9mIGZ1bmN0aW9uLg0KDQpp
cyBDYXRlZ29yeSBkaXJlY3RvcnkgaW4gYWdkYS1zdGQgbGlicmFyeSBhIGNvbXBsZXRlIHZlcnNp
b24/IA0KDQpob3cgdG8gdXNlIEZ1bmN0b3IsIE1vbmFkIGFuZCBBcHBsaWNhdGl2ZSBvcGVyYXRv
ciA/DQoNCjwkPiB1c2luZyBTZXQgLCBkb2VzIGl0IG1lYW4gdGhhdCBuZWVkIHRvIGRlZmluZSBh
IFNldCBsaWtlIEJvb2xlYW4gPw0KDQpSZWdhcmRzLA0KDQpNYXJ0aW4=
More information about the Agda
mailing list