It's untyped

Changes

1 changed files (+1/-1)

• lambcalc.lean
  • @@ -1,4 +1,4 @@
    - -- Simple lambda calculus interpreter using de Bruijin indices + -- Simple untyped lambda calculus interpreter using de Bruijin indices -- https://jameshfisher.com/2018/03/15/a-lambda-calculus-interpreter-in-haskell/ inductive Term where