search

gebn / ExpressionCompiler

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

Adequacy proof for booleans #10

Closed gebn closed 9 years ago

gebn commented 9 years ago

Implemented in 828d1e8a89c6d324a615d2e601e3f8a5df5a5d00.