We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come
back to this once you're a bit more familiar with Haskell.
There is a slight…
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.