search

gebn / ExpressionCompiler

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

Adequacy proof for naturals #11

Closed gebn closed 9 years ago

gebn commented 9 years ago

Implemented in 9d9a7e71d68f7cf78169c54f56c81ff6ebd71a65.