Giters

itnef / agda-playground

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda

Agda playground

Some programs and proofs written in agda2.

About

agda

License:GNU General Public License v3.0

Languages

Language:Agda 100.0%