mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 14:35:01 +03:00

A friendly programming language from the future

Go to file

Paul Chiusano 64f077000d Renamed a field in search results, and added type annotation to ill-typed terms		2015-03-02 10:46:25 -05:00
editor	Added example which demonstrates that beta reduction works when arg has free variables	2015-02-27 14:02:52 -05:00
node	Renamed a field in search results, and added type annotation to ill-typed terms	2015-03-02 10:46:25 -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