Name		Name	Last commit message	Last commit date
README.md		README.md
SimplyTypedExtended.scala		SimplyTypedExtended.scala
Terms.scala		Terms.scala

Repository files navigation

Extended_STLC

A simply typed lambda calculus parser-type_checker-evaluator with extensions Omega :)

About

A simply typed lambda calculus parser-type_checker-evaluator with extensions

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages