A friendly programming language from the future
Go to file
2015-02-27 13:52:44 -05:00
editor fixed issue that would cause explorer to mishandle trailing spaces in string literal entry 2015-02-27 13:52:44 -05:00
node Whoops, capture-avoiding beta reduction broke type checker, which was relying on it being dumb; added two versions 2015-02-27 13:47:41 -05:00
site hardcoding font choice for header 2014-03-28 14:59:58 -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