1
0
forked from GitHub/gf-rgl

(Cze) Only inherit relevant cats in NumeralCze

This commit is contained in:
John J. Camilleri
2020-04-30 11:46:47 +02:00
parent 16d89bef09
commit 4f8922f030

View File

@@ -1,6 +1,6 @@
concrete NumeralCze of Numeral =
CatCze **
CatCze [Numeral,Digits] **
open
ResCze,