search

zenna / ParametricInversion.jl

MIT License
21 stars 2 forks source link

Formalize Semantics #3

Closed zenna closed 3 years ago

zenna commented 4 years ago

Formalize semantics. The IR model is simple enough that it should easily permit a formal syntax and semantics.

zenna commented 3 years ago

off-topic