darcsden
::
Paul
->
AgdaFork
-> browse
explore
log in
register
fork
changes
patches
issues
.
—
.
root
/
examples
/
simple-lib
/
Lib
Bool.agda
Eq.agda
Fin.agda
IO.agda
Id.agda
List.agda
Logic.agda
Maybe.agda
Monad.agda
Nat.agda
Prelude.agda
Vec.agda