Homework #3: Expressions

In this homework, you will implement the abstract syntax and semantics for expressions over numbers and Booleans.

Numbers are represented as lists of decimal digits. For instance, 51 is represented as:

  List.cons (Value (5), List.cons (Value (1), List.empty))

Test

You can run the tests using:

$ swift test     # for mac users
$ docker build . # for linux users

You must add tests!

Grade

• Have you done something? yes
• Does your code compile? no
• Do your tests succeeds?
• Have you added more tests?
• Do the automatic tests succeed?
• Have you written the semantics as inference rules?

Grade
2