[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