3 Commits

Author	SHA1	Message	Date
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
Arya Irani	c58f51522a	update remote-api based on discussion	2019-02-26 12:23:18 -05:00
Arya Irani	72a5446159	scraps of unison remote api	2019-02-22 17:01:47 -05:00