1. 13
    A tutorial implementation of a dependently typed lambda calculus pdf plt andres-loeh.de
    srid avatar via srid 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment

  1.  

  2. 3
    jado avatar jado 2 months ago | link

    I like this tutorial by Andrej Bauer. I made a Rust implementation and experimented a little further with it.