search

ilya-klyuchnikov / tapl-scala

Code from the book "Types and Programming Languages" in Scala
175 stars 22 forks source link

PTS (pure type systems) #4

Open ilya-klyuchnikov opened 11 years ago

ilya-klyuchnikov commented 11 years ago

For educational purposes it is good to have just PTSs. Ideally, I would like to have the whole lambda cube.

ilya-klyuchnikov commented 11 years ago

In order to "calculate" something, there should be a facility introduce base types via assume (like in lambdapi).