Name: Surface
Owner: Antitypical
Description: An experiment in dependent type systems
Created: 2015-12-31 19:08:47.0
Updated: 2016-02-29 10:01:30.0
Pushed: 2016-01-09 17:30:18.0
Homepage: null
Size: 271
Language: Haskell
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
null