Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for agda-unused-0.2.0 candidate source tarball
agda-unused-0.2.0/data/declaration/
Abstract.agda
Data.agda
DataDef.agda
FunClause.agda
Import.agda
Module.agda
ModuleMacro.agda
Mutual1.agda
Mutual2.agda
Open1.agda
Open2.agda
PatternSyn.agda
Postulate.agda
Private.agda
Record.agda
RecordDef.agda
Syntax.agda
TypeSig.agda