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 7aa9d964af Merge branch 'fradrive/avs-synch' into fradrive/tutorial-overhaul		2023-05-22 16:46:31 +00:00
..
CourseCertificate.hs	chore(occurrences): complete bounds function	2023-05-17 16:04:03 +00:00
ExpireQualification.hs	chore(lpr): quick fix short apc ids expiry	2023-05-22 16:40:56 +00:00
Instances.hs	chore(letter): use proper caching for pdf generation via pandoc	2023-05-02 16:36:26 +00:00
Letters.hs	chore(lpr): quick fix short apc ids expiry	2023-05-22 16:40:56 +00:00
RenewQualification.hs	chore(letter): expiry letter phone and expiry date fixes	2023-05-05 15:28:05 +00:00
SomeLetter.hs	refactor(letter): introduce existentially quantified letter class SomeLetter	2023-05-05 07:41:38 +00:00