7 Commits

Author	SHA1	Message	Date
Arya Irani	e1e8a5937b	Merge branch 'master' into diff.namespace	2019-12-16 14:45:45 -05:00
Mitchell Rosen	6e554823ef	Move Unison.Codebase.NameSegment to unison-core	2019-12-15 11:38:02 -05:00
Arya Irani	227c103fe0	Refactored deep{Terms,Types} into Relation4 & started refactoring HandleInput.getLinks	2019-12-13 17:25:23 -05:00
Tomas Mikula	705bb08a7f	Merge branch 'master' into demote-TypeVar	2019-12-09 22:19:42 +01:00
Mitchell Rosen	dbc1006eea	Move Unison.Paths to unison-core	2019-12-08 23:07:06 -05:00
Mitchell Rosen	e38f3046c9	Move Unison.Codebase.SearchResult from unison-core to unison-parser-typechecker	2019-12-08 01:43:47 -05:00
Mitchell Rosen	83af25773b	Carve out unison-core package	2019-12-04 18:57:26 -05:00