34 lines (25 loc) · 695 Bytes

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