Name: Curve
Owner: Antitypical
Description: Another experiment in dependently-typed languages
Created: 2016-01-09 17:34:00.0
Updated: 2018-05-20 13:35:36.0
Pushed: 2016-01-30 19:51:03.0
Homepage: null
Size: 92
Language: Haskell
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
null