0
I Use This!
Inactive

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 24 hours ago.
Apr 23, 2023 — Apr 23, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #9 from ggreif/cons-precedence More... about 9 years ago
Give `Cons` and `CCons` the same precedence as (:) More... about 9 years ago
Merge pull request #6 from ggreif/ghc710-warn-elim More... about 9 years ago
Merge pull request #5 from ggreif/abstr-eq-elim More... about 9 years ago
Merge pull request #3 from ggreif/patch-exports More... about 9 years ago
GHC 7.10 warns about redundant constraints. More... about 9 years ago
get rid of Eq constraint on Abstr More... about 9 years ago
prune some language pragmas More... over 9 years ago
there are no fundeps in this module More... over 9 years ago
export a few symbols, so that patch can be reimplemented without pain externally More... over 9 years ago
close the type family More... almost 10 years ago
Add more missing cases. More... almost 10 years ago
Merge pull request #1 from ggreif/master More... almost 10 years ago
grammar fix More... almost 10 years ago
surely ADT is meant here More... almost 10 years ago
modernize library layout More... almost 10 years ago
maintain a consistent look More... almost 10 years ago
add github links More... almost 10 years ago
Typo in haddocks More... almost 10 years ago
Add missing clause to 'patchL' More... almost 10 years ago
typo More... almost 10 years ago
reexport (:~:) More... almost 10 years ago
M-x whitespace-cleanup More... almost 10 years ago
last released version More... almost 10 years ago
equality GADT is now in base, use that More... almost 10 years ago
Importing latest version, initial commit to new repo More... almost 14 years ago