Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/tsung-ju/systemf
An Agda formalization of System F and the Brown-Palsberg self-interpreter
https://github.com/tsung-ju/systemf
Last synced: 11 days ago
JSON representation
An Agda formalization of System F and the Brown-Palsberg self-interpreter
- Host: GitHub
- URL: https://github.com/tsung-ju/systemf
- Owner: tsung-ju
- Created: 2020-09-17T03:31:40.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2020-10-04T08:18:49.000Z (about 4 years ago)
- Last Synced: 2023-08-12T14:52:21.616Z (over 1 year ago)
- Language: Agda
- Homepage:
- Size: 23.4 KB
- Stars: 20
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# SystemF
An Agda formalization of System F and the Brown-Palsberg self-interpreter