Please enable JavaScript in your browser!
Etusivu
Tutki
Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile
1
Äänestä
0
Fork
0
Tiedostot
Ongelmat
0
Pull-pyynnöt
0
Wiki
Puu:
9c190b6ebc
Branchit
Tagit
js_amd
js_amd_patch
working
agda
/
examples
/
outdated-and-incorrect
/
Alonzo
/
RTN.agda
RTN.agda
109 B
Historia
Raaka
1
2
3
4
5
6
7
8
module RTN where
data Nat : Set where
zero : Nat
suc : Nat -> Nat
{-# BUILTIN NATURAL Nat #-}