redefine readLanguage to fix the type signature

This commit is contained in:
Krasimir Angelov
2026-09-15 09:57:10 +02:00
parent 11852277b9
commit c812f05963
+1 -1
View File
@@ -173,7 +173,7 @@ ppCId = text . showCId
type Language = CId type Language = CId
readLanguage lang = CId lang readLanguage = readCId
showLanguage (CId lang) = lang showLanguage (CId lang) = lang
-- | creates a type from list of hypothesises, category and -- | creates a type from list of hypothesises, category and