unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-26 11:07:48 +03:00
Code Issues Projects Releases Wiki Activity
16,593 Commits 430 Branches 96 Tags 459 MiB
a7820feeac
Commit Graph

3 Commits

Author SHA1 Message Date
Paul Chiusano
f09da9d84d rename Int64 to just Int 2018-09-24 13:36:13 -04:00
Paul Chiusano
66962863b5 rename UInt64 to Nat 2018-09-24 13:15:40 -04:00
Paul Chiusano
ee3c8bd29a Added some notes and example errors, generalized Term a bit to allow type annotations to contain locations. 
Moving `check` over to Context2 and still fixing compiler errors there
 2018-07-10 17:36:10 -04:00