This is a monorepository for considering computability theory and some completeness things, like lambda calculus or Turing machine and things on which they are built
My practice in different calculus
This is a monorepository for considering computability theory and some completeness things, like lambda calculus or Turing machine and things on which they are built
My practice in different calculus
MIT License