Index of /~abel/repos/AgdaPrelude/src/Class

	Name	Last modified	Size	Description
	Parent Directory		-
	DecSetoid.agda	2012-01-10 11:55	1.0K
	DecTotalOrder.agda	2012-01-10 11:55	819
	MapM.agda	2012-01-10 11:55	660
	Sequence.agda	2012-01-10 11:55	899
	Setoid.agda	2012-01-10 11:55	962
	StrictTotalOrder.agda	2012-01-10 11:55	931
	Concat.agda	2012-03-06 11:45	1.0K
	Eq.agda	2012-03-06 11:45	413
	Foldr.agda	2012-03-06 11:45	886
	FromList.agda	2012-03-06 11:45	946
	ListLiteral.agda	2012-03-06 11:45	719
	Map.agda	2012-03-06 11:45	1.2K
	Replicate.agda	2012-03-06 11:45	846
	Take.agda	2012-03-06 11:45	1.4K
	ZipWith.agda	2012-03-06 11:45	1.7K
	Append.agda	2012-03-13 12:14	1.0K
	Applicative.agda	2012-03-13 12:14	1.5K
	DecEq.agda	2012-03-13 12:14	780
	Drop.agda	2012-03-13 12:14	1.0K
	Foldl.agda	2012-03-13 12:14	886
	Functor.agda	2012-03-13 12:14	594
	IApplicative.agda	2012-03-13 12:14	1.0K
	Length.agda	2012-03-13 12:14	548
	Member.agda	2012-03-13 12:14	1.1K
	Monad.agda	2012-03-13 12:14	320
	Null.agda	2012-03-13 12:14	548
	Reverse.agda	2012-03-13 12:14	648
	Show.agda	2012-03-13 12:14	3.6K
	Unlines.agda	2012-03-20 14:49	945
	Reduce.agda-darcs-backup0	2012-03-29 10:49	1.4K
	Unlines.agda-darcs-backup0	2012-03-29 10:49	945
	Reduce.agda	2012-03-29 10:49	1.4K
	Ord.agda	2012-08-04 11:39	1.0K