https://github.com/robrix/surface

Dependently-typed language w/ little to say for itself
https://github.com/robrix/surface

dependent-types haskell proof-refinement typechecker

Last synced: 15 days ago
JSON representation

Dependently-typed language w/ little to say for itself

• Host: GitHub
• URL: https://github.com/robrix/surface
• Owner: robrix
• License: bsd-3-clause
• Created: 2017-01-31T01:12:42.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-03-29T12:46:12.000Z (over 6 years ago)
• Last Synced: 2024-10-10T17:18:22.244Z (28 days ago)
• Topics: dependent-types, haskell, proof-refinement, typechecker
• Language: Haskell
• Homepage:
• Size: 407 KB
• Stars: 10
• Watchers: 4
• Forks: 0
• Open Issues: 4

Awesome Lists containing this project