https://github.com/gelisam/worldly

based on Conor McBride's "Worldly Type Systems" talk
https://github.com/gelisam/worldly

Last synced: 22 days ago
JSON representation

based on Conor McBride's "Worldly Type Systems" talk

• Host: GitHub
• URL: https://github.com/gelisam/worldly
• Owner: gelisam
• Created: 2016-06-26T21:06:19.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-06-27T12:52:26.000Z (over 8 years ago)
• Last Synced: 2023-04-13T07:57:07.886Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 13.7 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project