https://github.com/gergoerdi/stlc-agda
STLC-related snippets in Agda
https://github.com/gergoerdi/stlc-agda
agda lambda-calculus stlc typechecker
Last synced: 3 months ago
JSON representation
STLC-related snippets in Agda
- Host: GitHub
- URL: https://github.com/gergoerdi/stlc-agda
- Owner: gergoerdi
- Created: 2013-04-22T11:19:59.000Z (about 13 years ago)
- Default Branch: master
- Last Pushed: 2013-05-01T10:37:21.000Z (about 13 years ago)
- Last Synced: 2025-03-09T23:51:59.419Z (over 1 year ago)
- Topics: agda, lambda-calculus, stlc, typechecker
- Size: 164 KB
- Stars: 16
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files: