@hackage / lol-calculus

Calculus for LOL (λω language).

1.20160822

Dependents

@hackage / lol-typing Type inferencer for LOL (λω language)
- Version: 1.20160822
- Last uploaded: 9 years ago
- License: GPL-3.0-only