metazip
- Karma
- 2
- Created
- 3 years ago
Recent Submissions
- 1. ▲ Joy of Postfix Calculator App for Android (joy-of-postfix.github.io)
- 2. ▲ Pointfrip Calculator in Android (github.com)
- 3. ▲ Algebra of Programs: Proof of equality of programs [video] (youtube.com)
- 4. ▲ Why does a pointfree interpreter language like Pointfrip have no future? (github.com)
- 5. ▲ Lambdas vs. Function-Level (backus-fp.github.io)