issues
search
RyanGlScott
/
eliminators
Dependently typed elimination functions using singletons
BSD 3-Clause "New" or "Revised" License
27
stars
0
forks
source link
Require GHC 8.6
#7
Closed
RyanGlScott
closed
6 years ago