https://github.com/phadej/language-pts

Pure Type Systems
https://github.com/phadej/language-pts

Last synced: 2 months ago
JSON representation

Pure Type Systems

• Host: GitHub
• URL: https://github.com/phadej/language-pts
• Owner: phadej
• License: bsd-3-clause
• Created: 2018-10-11T07:14:10.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-31T19:10:30.000Z (over 4 years ago)
• Last Synced: 2024-10-11T23:53:32.035Z (3 months ago)
• Language: Haskell
• Homepage: http://oleg.fi/haddocks/language-pts/
• Size: 146 KB
• Stars: 12
• Watchers: 5
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project