1. 27
    1. 9

      This is an absolute gem of a blog post and project!

      I’m working on something similar (a typed scheme), and reading your incredible post is inspiring and thought provoking.

      Thank you!

    2. 5

      This is such a nice and thorough walk-through. Props!

    3. 4

      That’s a very astute set of simplifying assumptions. I wish I were capable of doing something so sensible. XD