scandinavian topological sentence model

This commit is contained in:
aarne committed 2005-02-27 09:27:12 +00:00
1 parent e53e9e86fc
commit c0df2b769b
34 files changed
+568 -33

No files matched your search

+26
View File
@@ -0,0 +1,26 @@
--# -path=.:../../prelude
abstract SimpleLang =
Simple,
Structural,
Basic,
Time,
Country
** {
fun
-- Mount $Time$.
AdvDate : Date -> Adv ;
AdvTime : Time -> Adv ;
NWeekday : Weekday -> N ;
PNWeekday : Weekday -> PN ;
-- Mount $Country$.
PNCountry : Country -> PN ;
ANationality : Nationality -> A ;
NLanguage : Language -> N ;
}