idris-algebra
idris-algebra copied to clipboard
Published
20 hours ago •
idris-hackers
idris-hackers
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
An attempt at doing "Algebra" with idris types
This is a lightning rod repository to dump ideas and try things.
At no point does it claim to be official, correct, or the only way of doing things.
We appreciate all input into this repository.
Metadata
18
Stars
9
Forks
Watchers
Owner
idris-hackers
Metadata
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"