Name: Manifold
Owner: Antitypical
Description: An implementation of a dependently-typed intermediate language used by Tesseract.
Created: 2015-02-06 02:29:17.0
Updated: 2018-05-20 13:36:30.0
Pushed: 2016-01-01 06:32:11.0
Size: 1477
Language: Swift
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
null