search

gebn / ExpressionCompiler

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

Adequacy-fail proof for naturals #17

Closed gebn closed 9 years ago

gebn commented 9 years ago

Implemented in 58bcc5cfcb5c66203bb172304ab71c489f76dcf8.