https://github.com/mheiber/strict-lambda-calculus
https://github.com/mheiber/strict-lambda-calculus
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/mheiber/strict-lambda-calculus
- Owner: mheiber
- Created: 2021-04-17T22:12:18.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2021-09-22T14:31:02.000Z (over 3 years ago)
- Last Synced: 2025-01-30T06:41:26.736Z (4 months ago)
- Language: Scala
- Size: 10.7 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# strict-lambda-calculus
Implementation of
Chlipala, A., Petersen, L., & Harper, R. (2005, January). Strict bidirectional type checking. In Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (pp. 71-78).
## Examples
See the tests for examples. The DSL is a bit hard to read, so you may want to have the paper next to you. Or skip this entirely.
## test
With Scala 3: `sbt test`