AllTha.gf « thai « resource « old-lib « deprecated - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/deprecated/old-lib/resource/thai/AllTha.gf

blob: 0ca824967fd11c9598b1504915c1cc62a70276ce (plain)

1
2
3

--# -path=.:../abstract:../common:prelude

concrete AllTha of AllThaAbs = LangTha ;