stjordanis / idris-algebra Goto Github PK
View Code? Open in Web Editor NEWThis project forked from idris-hackers/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
License: Other