A friendly programming language from the future
Go to file
2015-05-04 17:38:24 -04:00
editor WIP on upgrading to 0.15 2015-05-04 17:38:24 -04:00
node Ordered contexts now cache some info to make wellformedness checking O(log n), greatly speeding up some typechecking problems. 2015-05-04 10:58:13 -04:00
.gitignore ignore file update 2014-10-24 18:14:03 -04:00
README.md Initial commit 2013-09-19 13:44:05 -07:00

unison