https://github.com/andreasabel/continuous-normalization

Evaluation of typed terms in Agda using the Delay monad.
https://github.com/andreasabel/continuous-normalization

agda call-by-name coinduction delay evaluation lambda-calculus monads

Last synced: 7 days ago
JSON representation

Evaluation of typed terms in Agda using the Delay monad.

• Host: GitHub
• URL: https://github.com/andreasabel/continuous-normalization
• Owner: andreasabel
• License: other
• Created: 2013-11-18T15:19:13.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2023-05-16T13:34:55.000Z (almost 3 years ago)
• Last Synced: 2025-10-27T21:09:57.038Z (4 months ago)
• Topics: agda, call-by-name, coinduction, delay, evaluation, lambda-calculus, monads
• Language: Agda
• Homepage: https://andreasabel.github.io/continuous-normalization/Everything.html
• Size: 243 KB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
continuous-normalization

========================

Evaluation of typed terms in Agda using the Delay monad.