issues
search
RyanGlScott
/
eliminators
Dependently typed elimination functions using singletons
BSD 3-Clause "New" or "Revised" License
27
stars
0
forks
source link
Generate eliminators using Template Haskell
#1
Open
RyanGlScott
opened
7 years ago
RyanGlScott
commented
7 years ago
The grand vision.
[x] Simple ADTs
[ ] GADTs
[ ] Polymorphic recursion (stretch goal, with an emphasis on "stretch")
The grand vision.