unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-29 03:07:20 +03:00
Code Issues Projects Releases Wiki Activity
5,364 Commits 418 Branches 90 Tags 366 MiB
18e69391ec
Commit Graph

4 Commits

Author SHA1 Message Date
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