Agda on Github Pages
About
This is a test Agda Markdown file.
data
Nat
:
Set
where
zero
:
Nat
suc
:
Nat