type-algebra

Haskell ★ 7 updated 1y ago

Haskell library for operations on type algebra, e.g. inhabitant counting

No plain-English explanation yet — one is being written right now. Check back in a minute.