https://github.com/jaredloomis/russell

A dependently-typed functional programming reasearch language
https://github.com/jaredloomis/russell

Last synced: about 2 months ago
JSON representation

A dependently-typed functional programming reasearch language

• Host: GitHub
• URL: https://github.com/jaredloomis/russell
• Owner: jaredloomis
• Created: 2015-01-12T01:58:51.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-01-28T04:37:34.000Z (almost 10 years ago)
• Last Synced: 2024-04-20T16:52:40.477Z (9 months ago)
• Language: Haskell
• Homepage:
• Size: 184 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project