Lazy abstract machine based on the pattern-matching calculus
Primary LanguageTeX
This repository is not active