docs/01-installation.markdown @ 5bb73a585f2c
Finish basic proving I gave up on making the renameless unification work because I'm just too dumb to understand it. Gonna throw this all away when I hit the WAM book anyhow, so it's not worth wasting time on. Maybe I'll come back to it later if I have time.
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Thu, 10 Mar 2016 18:22:56 +0000 |
| parents | c60cac27a0a7 |
| children | 551c9d5d47d4 |