03:04duration 3 minutes 4 seconds
CL - 14b - Machines in Haskell (II)
In this video we present the formalisation of the…