λω for Metadsl
2019-04-01
I think that metadsl is a λω / System F-ω language.
Should we represent the type system outside of the Python representation?
Probably, at the moment, no. Let's just represent it implicitly using Python's type signatures.
I think that metadsl is a λω / System F-ω language.
Should we represent the type system outside of the Python representation?
Probably, at the moment, no. Let's just represent it implicitly using Python's type signatures.