Lazy abstract machine based on the pattern-matching calculus
Primary LanguageTeX
No issues in this repository yet.