effects
effects copied to clipboard
goldfirere
A Haskell translation of Idris's original algebraic effects library
Results
1
effects issues
Sort by
recently updated
recently updated
newest added
Moved from [thesis](https://github.com/goldfirere/thesis/issues/9) Type families SubListProof and ElemProof can be made injective, does that help anywhere? ```haskell type family SubListProof = (res :: SubList (xs :: [a]) (ys :: [a]))...
Metadata
41
Stars
3
Forks
Watchers
Owner
Metadata
A Haskell translation of Idris's original algebraic effects library