darcsden
::
abel
->
AgdaPrelude
-> browse
explore
log in
register
fork
changes
patches
issues
A prelude for Agda based on the Standard Library.
root
/
src
Algebra
Category
Data
Foreign
Function
IO
Induction
Level
Relation
Algebra.agda
Coinduction.agda
Function.agda
IO.agda
Induction.agda
Level.agda
Record.agda
Reflection.agda
Size.agda
Universe.agda