rei1024/agda-misc

Miscellaneous Agda code

agda-misc

Miscellaneous Agda code.

This uses Agda 2.6.0.1, agda-stdlib v1.2 and agda-categories.

See AgdaMiscEverything.agda for the list of all modules.