as a template for future Extend modules, added Dut and Spa

This commit is contained in:
Aarne Ranta committed 2017-08-20 19:25:24 +03:00
1 parent 6afcf80c04
commit c14b35d714
3 files changed
+33 -1

No files matched your search

+16
View File
@@ -0,0 +1,16 @@
--# -path=alltenses:../common:../abstract
concrete ExtendDut of Extend =
CatDut ** ExtendFunctor
-- - [] -- put the names of your own definitions here
with
(Grammar = GrammarDut) **
open
GrammarDut,
ResDut,
Coordination,
Prelude,
ParadigmsDut in {
-- put your own definitions here
}