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

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