Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/MaxDesiatov/SwiftPie
A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
https://github.com/MaxDesiatov/SwiftPie
dependent-types interpreter lambda-calculus swift
Last synced: about 2 months ago
JSON representation
A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
- Host: GitHub
- URL: https://github.com/MaxDesiatov/SwiftPie
- Owner: MaxDesiatov
- Created: 2021-08-25T12:08:25.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2021-08-28T19:04:12.000Z (about 3 years ago)
- Last Synced: 2024-07-19T03:51:39.748Z (2 months ago)
- Topics: dependent-types, interpreter, lambda-calculus, swift
- Language: Swift
- Homepage:
- Size: 15.6 KB
- Stars: 4
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# SwiftPie
A Swift rewrite of ["A Tutorial Implementation of a Dependently Typed Lambda Calculus"](https://www.andres-loeh.de/LambdaPi/).