/lazy-lambda

Formalization of a lazy lambda calculus semantics

Primary LanguageAgda

This repository is not active