Skip to content

dependently-typed/lc-tut

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 

Repository files navigation

lc-tut

WIP hands-on lambda calculus tutorial

Running the code

You will need Python >= 3.8

python3 -m untyped

This will put you into a repl. The repl currently only prints the parsed expression. It does not evaluate it. Part of the tutorial is to write the evaluation functions yourself and play around with it in the repl.

TODO

  • Comment snippets of code
  • Write tutorial chapters
  • Write exercises based on feedback from meeting
  • Support STLC (and potentially other calculi like system F)

About

WIP hands-on lambda calculus tutorial

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages