https://github.com/soptikha2/typed-lambda-calculus
Simply typed lambda calculus
https://github.com/soptikha2/typed-lambda-calculus
Last synced: about 1 year ago
JSON representation
Simply typed lambda calculus
- Host: GitHub
- URL: https://github.com/soptikha2/typed-lambda-calculus
- Owner: SoptikHa2
- Created: 2022-02-23T16:13:43.000Z (over 4 years ago)
- Default Branch: develop
- Last Pushed: 2022-02-23T16:15:13.000Z (over 4 years ago)
- Last Synced: 2025-01-29T05:43:37.132Z (over 1 year ago)
- Language: Haskell
- Size: 42 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0