The questions and the files to hand in are:

ouroboros.txt (4 marks)

NonDet.curry (6 marks)


The Curry REPL is available on Mathlab and lab computers as `pakcs`.
You can use `:load FILENAME` and `:reload` to load/reload your code.

If you get "pakcs: command not found", the full path is
/usr/local/cms/pakcs-3.8.0/bin/pakcs

For other ways to run/install PAKCS and detailed docs, please see
<https://www.cs.utoronto.ca/~trebla/CSCC24-latest/software.html>