VM Details
 OS: Ubuntu 18.10
 username: duet
 password: duet
 project home: /home/duet/duet-hs
 
 To typecheck all case studies: run `make`.
 To typecheck all examples: run `make all`.
 
 To typecheck a specific example:
 `stack run -- check /path/to/examples/${example-name}`
 
 For example:
 `stack run -- check examples/complete/gd-pb.ed.duet`
 
 Zip MD5 hash: d23dc41c0fef15a412a39f527764407c
 
 VM MD5 hash: cd9b099add956b3b09d70104313670bc