This repository has been archived on 2021-11-27. You can view files and clone it, but cannot push or open issues or pull requests.

Ivaylo Ivanov 2a36ed1de7 Add addition, difference and negation to UE3 A.4		2021-11-04 18:44:51 +01:00
..
Angabe1.hs	Rename UE1, add UE2 boilerplate	2021-10-24 10:33:12 +02:00
Angabe2.hs	Fix small bugs in allowed_people and disallowed_people	2021-10-28 23:48:50 +02:00
Angabe3.lhs	Add addition, difference and negation to UE3 A.4	2021-11-04 18:44:51 +01:00
Test2.hs	Fix small bugs in allowed_people and disallowed_people	2021-10-28 23:48:50 +02:00
Test3.hs	Add Test3, make it possible to test locally, initial UE3 A.3	2021-11-04 16:44:07 +01:00