@hackage / ml-w

Minimal ML language to to demonstrate the W type infererence algorithm.

0.1.1

Dependents