delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Add functions that compare singletons for equality (with evidence)	Iavor S. Diatchki	2012-12-22	1	-0/+40
*	typo	Gabor Greif	2012-11-30	1	-1/+1
*	typo	Gabor Greif	2012-11-21	1	-1/+1
*	Declare a family for subtraction.	Iavor S. Diatchki	2012-11-11	1	-0/+5
*	Update library to avoid using `Any` (also, replace fun-dep with type fam.)	Iavor S. Diatchki	2012-10-15	1	-22/+33
*	Add unary natural numbers to experiment on matching with literals.	Iavor S. Diatchki	2012-09-29	1	-1/+15
*	Add missing instances for (<=)	Iavor S. Diatchki	2012-09-09	1	-1/+2
*	Make Sing kind-polymorphic	Simon Peyton Jones	2012-06-07	1	-1/+1
*	Update to support singleton types with custom implementations.	Iavor S. Diatchki	2012-05-12	1	-37/+62
*	Modify 'SingRep' to support arbitrary singleton types.	Iavor S. Diatchki	2012-05-11	1	-8/+25
*	Add a type-family for comparing numbers.	Iavor S. Diatchki	2012-04-30	1	-1/+3
*	Rewrite to use just one notion of singletons.	Iavor S. Diatchki	2012-04-08	1	-94/+46
*	Revert IsEven to the way it was.	Iavor S. Diatchki	2012-03-22	1	-2/+2
*	Fix the type of IsEven	Iavor S. Diatchki	2012-03-21	1	-2/+2
*	Add some useful functions for working with type literals.	Iavor S. Diatchki	2012-03-19	1	-3/+99
*	Rename GHC.TypeNats to GHC.TypeList, cleanup, add type-level strings.	Iavor S. Diatchki	2012-01-24	1	-0/+95