Changeset View
Changeset View
Standalone View
Standalone View
math/hs-Agda/pkg-plist
- This file was added.
%%DATADIR%%/Bool.agdai | |||||
%%DATADIR%%/Char.agdai | |||||
%%DATADIR%%/Coinduction.agdai | |||||
%%DATADIR%%/Cubical.agdai | |||||
%%DATADIR%%/Equality.agdai | |||||
%%DATADIR%%/Erase.agdai | |||||
%%DATADIR%%/Float.agdai | |||||
%%DATADIR%%/FromNat.agdai | |||||
%%DATADIR%%/FromNeg.agdai | |||||
%%DATADIR%%/FromString.agdai | |||||
%%DATADIR%%/Glue.agdai | |||||
%%DATADIR%%/IO.agdai | |||||
%%DATADIR%%/Id.agdai | |||||
%%DATADIR%%/Int.agdai | |||||
%%DATADIR%%/List.agdai | |||||
%%DATADIR%%/Nat.agdai | |||||
%%DATADIR%%/Path.agdai | |||||
%%DATADIR%%/Primitive.agdai | |||||
%%DATADIR%%/Properties.agdai | |||||
%%DATADIR%%/Reflection.agdai | |||||
%%DATADIR%%/Rewrite.agdai | |||||
%%DATADIR%%/Sigma.agdai | |||||
%%DATADIR%%/Size.agdai | |||||
%%DATADIR%%/Strict.agdai | |||||
%%DATADIR%%/String.agdai | |||||
%%DATADIR%%/Sub.agdai | |||||
%%DATADIR%%/TrustMe.agdai | |||||
%%DATADIR%%/Unit.agdai | |||||
%%DATADIR%%/Word.agdai |