20-CS-4003-001 Organization of Programming Languages Fall 2017
Lab Assignment 8

Lambda calculus, Type theory, Formal semantics, Program analysis

Magic squares

Due: 1 November, 2017 (submit instructions: here)

Rationale:
    Exercise your understanding of call-with-current-continuation and the amb operator.
 
Lab Problem:
Use amb and assert to find a 4x4 matrix of distinct integers from 1 to 16 such that all rows, columns, diagonals and inside and outside perimeters sum to 34.