/deferred-substitution

An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.