unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-12 04:34:38 +03:00
Code Issues Projects Releases Wiki Activity
863138d637
unison/parser-typechecker
History
Mitchell Rosen 863138d637 Fix selectedTerms
2019-12-07 21:53:12 -05:00
..
prettyprintdemo Remove unused Language Pragmas 2018-12-27 07:24:04 +01:00
src/Unison Fix selectedTerms 2019-12-07 21:53:12 -05:00
tests Fix term printer for delayed bindings. Fixes #642 (#1007) 2019-11-27 22:52:02 -05:00
unison Remove old propagation code 2019-10-28 17:39:06 -04:00
LICENSE started deleting and cleanup, not compiling yet 2018-05-16 18:20:27 -04:00
unison-parser-typechecker.cabal Carve out unison-core package 2019-12-04 18:57:26 -05:00