Commit Graph

5 Commits

Author SHA1 Message Date
Aaron Novstrup
5a841f30f5 fix stray case .. of instances and opportunities for cases in unison-src 2020-02-21 17:05:18 -08:00
Runar Bjarnason
6760afc938 Rename Sequence to List 2019-06-27 09:36:57 -04:00
Paul Chiusano
05ea87499a down to 18 failures 2019-02-12 11:15:46 -05:00
Paul Chiusano
66962863b5 rename UInt64 to Nat 2018-09-24 13:15:40 -04:00
Runar Bjarnason
505d186b0d Base-58 straw man implementation 2018-06-27 17:12:17 -04:00