ilya-klyuchnikov/tapl-scala

PTS (pure type systems)

Opened this issue · 1 comments

ilya-klyuchnikov commented

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

ilya-klyuchnikov commented

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