https://github.com/taktoa/inference

Experiments in dependent type inference
https://github.com/taktoa/inference

dependent-types experimental haskell

Last synced: 16 days ago
JSON representation

Experiments in dependent type inference

• Host: GitHub
• URL: https://github.com/taktoa/inference
• Owner: taktoa
• Created: 2017-01-15T23:44:02.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2017-04-26T03:03:38.000Z (almost 8 years ago)
• Last Synced: 2024-11-21T17:06:12.836Z (3 months ago)
• Topics: dependent-types, experimental, haskell
• Language: Haskell
• Size: 57.6 KB
• Stars: 2
• Watchers: 5
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project