unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 21:40:50 +03:00
Code Issues Projects Releases Wiki Activity
16,914 Commits 404 Branches 89 Tags 438 MiB
trunk
Commit Graph

24 Commits

Author SHA1 Message Date
rlmark
ac2bc29849 fixes tests and transcripts 2021-08-24 11:33:27 -07:00
Arya Irani
e1c3302e6a making a mess in git part 2 2021-04-06 12:52:30 -06:00
Arya Irani
8025f85d2d restore unison-src 2020-10-19 10:34:23 -04:00
Arya Irani
49328bb25e codebase2 wip; temporarily deleted old packages to improve hls startup 2020-09-15 12:28:28 -04:00
Aaron Novstrup
5a841f30f5 fix stray case .. of instances and opportunities for cases in unison-src 2020-02-21 17:05:18 -08:00
Arya Irani
8cee89dc29 rename Builtins in initial namespace construction, and update tests 
- () -> Unit
- ().() -> Unit.Unit
- Pair -> Tuple
- Pair.Pair -> Tuple.Cons
- Sequence -> List
- Effect -> Request
- {Int,Nat,Float,Text}.{==,<,<=,>,>=} -> {Int,Nat,Float,Text}.{eq,lt,lteq,gt,gteq}
- mark Text.!= as a deprecated builtin
 2019-08-22 16:34:12 -04:00
Paul Chiusano
ba976142c9 new and improved add/update output 2019-07-03 17:08:32 -04:00
Arya Irani
1b0588d17a renames and cleanup 2019-06-29 12:05:50 -04:00
Runar Bjarnason
85997dfb3c stashing 2019-06-27 14:30:50 -04:00
Runar Bjarnason
10f54037c1 Really rename Sequence to List 2019-06-27 11:01:19 -04:00
Runar Bjarnason
461eaf2882 Merge branch 'wip/branchless' of github.com:unisonweb/unison into wip/branchless 2019-06-26 10:07:28 -04:00
Runar Bjarnason
6080616922 Add - on nat to base 2019-06-26 10:07:19 -04:00
Paul Chiusano
183f8d7433 remove trailing line whitespace 2019-06-26 09:43:26 -04:00
Runar Bjarnason
c519587b8e Deduplicating name resolutions 
when two names refer to the same thing.
 2019-06-18 21:35:09 -04:00
Runar Bjarnason
b1e7ca7b2e Base compiling 2019-06-18 16:12:47 -04:00
Runar Bjarnason
9463b55aef Merge branch 'wip/branchless' of github.com:unisonweb/unison into wip/branchless 2019-06-18 15:53:54 -04:00
Runar Bjarnason
6b5c663600 Testing library things 2019-05-22 17:50:08 -04:00
Runar Bjarnason
473405d457 No monads and no effects 2019-05-22 11:47:18 -04:00
Runar Bjarnason
86abb4d47b Cofree and tries 2019-05-13 17:36:04 -04:00
Runar Bjarnason
41baba00ca Basic model of test framework 2019-05-13 16:25:29 -04:00
Paul Chiusano
e7a13ccf12 a few more functions for Base.u 2019-03-24 22:36:23 -04:00
Paul Chiusano
4f217c65ec more functions 2019-03-24 15:36:39 -04:00
Paul Chiusano
5fa00264ee Map.size and Set.size 2019-03-24 11:57:49 -04:00
Paul Chiusano
bf5a0d0f9d renamed Map.u -> Base.u and added a bunch o' functions 2019-03-24 10:33:40 -04:00