1 free point +


1.1

2p

0.5p for an attempt
1p for a good attempt

1.2

2p

0.5p for an attempt or if the predicate is always true
Good attempt (misunderstanding beta-normal form/forgot recursive calls): 1p

2.1

1.5p

0.5 for an attempt
1 for a good attempt (e.g. forgot base case)

2.2

1.5p

0.5 for an attempt
1 for a good attempt (e.g. forgot base case)

2.3

2p

0.5 for an attempt
1 for a good attempt (also if not provable because of error in 2.2)