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 1036c68e21 Initial commit for UE3		2021-11-03 18:06:56 +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	Initial commit for UE3	2021-11-03 18:06:56 +01:00
Test2.hs	Fix small bugs in allowed_people and disallowed_people	2021-10-28 23:48:50 +02:00