andreasabel/continuous-normalization

Evaluation of typed terms in Agda using the Delay monad.

GitHub repository with 5 stars and 1 forks.

Language: Agda

Topics: agda, coinduction, delay, evaluation, lambda-calculus, monads, call-by-name

Open provider repository