Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/Termination/
Acc.agda
Example.agda
List.agda
Mutual.agda
Nat.agda
Ord.agda
README
Stream.agda
StreamEating.agda
StreamProc.agda
StructuralOrder.agda
TerminationTwoConstructors.agda
Tuple.agda
Where.agda
comb.agda
simplified-comb.agda
Common/
Coinduction.agda
Level.agda
Sized/
DeBruijn.agda
DeBruijnExSubstSized.agda
SizedNat.agda
SizedNatAnnotated.agda