https://github.com/effectfully/big-step-normalization

https://github.com/effectfully/big-step-normalization

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/effectfully/big-step-normalization
• Owner: effectfully
• Created: 2015-05-17T16:12:37.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2016-02-18T13:18:09.000Z (over 10 years ago)
• Last Synced: 2025-10-14T09:26:18.647Z (8 months ago)
• Language: Agda
• Size: 21.5 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

          
It's a unicode-obsessive clone (some things differ, especially the convertibility proofs, but the encoding is the same) of [this](https://github.com/jmchapman/Big-step-Normalisation/tree/master/LambdaCalculus/BasicSystem) development.