https://github.com/cyberglot/typecheckler

algebraic typechecking and elaboration of dependent types
https://github.com/cyberglot/typecheckler

Last synced: 3 months ago
JSON representation

algebraic typechecking and elaboration of dependent types

• Host: GitHub
• URL: https://github.com/cyberglot/typecheckler
• Owner: cyberglot
• License: gpl-3.0
• Created: 2023-03-06T21:49:11.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-05-27T17:56:25.000Z (over 1 year ago)
• Last Synced: 2024-02-17T10:36:13.732Z (9 months ago)
• Language: Haskell
• Size: 33.2 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project