Habitening Logo A cup of water.
Habitening

Haskell package dependent-literals-plugin

Rewrites integer literals to a pseudo-dependently-typed form.

Summary

Count 2 occurrences
State Dead
Last occurred
Habitening next
Age
Average
Honeymoon
Trend None
In degree 0
Out degree 0
External links

lightbulb_outline Didn't find what you were looking for? Create your own!