Haskell library for operations on type algebra, e.g. inhabitant counting - View it on GitHub
Star
7
Rank
1879384