Giters

capn-freako / agda_misc

Miscellaneous Doodlings in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda_misc

Miscellaneous Doodlings in Agda

About

Miscellaneous Doodlings in Agda

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Makefile 100.0%