jmchapman / agda-stdlib

The Agda standard library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

The Agda standard library

License:Other


Languages

Language:Agda 99.6%Language:Haskell 0.3%Language:Shell 0.0%Language:Makefile 0.0%