search

gebn / ExpressionCompiler

A compiler for arithmetic expressions.
0 stars 0 forks source link

Adequacy-fail proof for if/else #21

Closed gebn closed 9 years ago

gebn commented 9 years ago

This can be done quite easily in a hacky way by aggressively pattern-matching, but it would be nice to find a more generalised proof.

gebn commented 9 years ago

This was done by Arinta in 2fac163, but committed to the wrong branch. I'll move it.