https://github.com/robrix/tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.
https://github.com/robrix/tilec

compiler dependent-types

Last synced: 15 days ago
JSON representation

Sometimes when I feel sad I implement a dependently typed lambda calculus.

• Host: GitHub
• URL: https://github.com/robrix/tilec
• Owner: robrix
• License: bsd-3-clause
• Created: 2020-02-27T12:51:21.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-03-26T23:55:51.000Z (over 4 years ago)
• Last Synced: 2024-10-04T15:32:42.541Z (about 1 month ago)
• Topics: compiler, dependent-types
• Language: Haskell
• Size: 1.51 MB
• Stars: 15
• Watchers: 5
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project