search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Typ1 and applications #36

Closed gmalecha closed 10 years ago

gmalecha commented 10 years ago

You can make

Typ1_App : Typ1 -> Typ0 -> Typ0
Typ2_App : Typ2 -> Typ0 -> Typ1
gmalecha commented 10 years ago

Done. e14fe2d947f8