3 Commits (67a6ab8209c9e7a69338fefab7678f411dbf1110)

Author	SHA1	Message	Date
Lennart Spitzner	7f5dc46798	Replace BriDoc+BriDocF with single BriDocW + type family	2023-04-22 19:54:24 +00:00
Lennart Spitzner	7db1028223	Reintroduce BDAnnotationKW in the form of BDEntryDelta	2023-04-22 19:54:24 +00:00
Lennart Spitzner	7ebd61db3d	Refactor+Rewrite+Adaptation for ghc-9.2 support	2023-04-22 19:54:24 +00:00