added type signature

This commit is contained in:
Krasimir Angelov
2026-06-01 09:54:52 +02:00
parent 7156f488dd
commit 8458a74e25

View File

@@ -105,7 +105,7 @@ lin
pot0as1 n = n ; pot0as1 n = n ;
pot110 = pot110 =
let ten = let ten : Gender => Case => Str =
table { table {
Neuter => \\_ => "ti" ; Neuter => \\_ => "ti" ;
_ => \\_ => "tíggju" _ => \\_ => "tíggju"