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

Steffen Jost 05b807a49a Merge branch 'master' into fradrive/lms-type-refactor		2023-07-03 10:53:05 +00:00
..
Utils	chore: conform to REUSE specification	2022-10-12 09:35:16 +02:00
Instances.hs	chore: conform to REUSE specification	2022-10-12 09:35:16 +02:00
Utils.hs	Merge branch 'master' into fradrive/lms-type-refactor	2023-07-03 10:53:05 +00:00