unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 14:35:01 +03:00
Code Issues Projects Releases Wiki Activity
A friendly programming language from the future
356 Commits 432 Branches 91 Tags 137 MiB
Haskell 92.2%
Racket 5.9%
Scheme 1.4%
Nix 0.2%
Vim script 0.1%
Other 0.1%
9c3919c5f6
Go to file
Paul Chiusano 9c3919c5f6 Added example which demonstrates that beta reduction works when arg has free variables
2015-02-27 14:02:52 -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 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

README.md

unison