GitHub topics: call-by-name
andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
Language: Agda - Size: 243 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1
Related Keywords