(Pes) Add Construction (#178)

This commit is contained in:
Inari Listenmaa
2019-02-18 13:58:11 +01:00
committed by GitHub
parent 18ee4bc8a0
commit b50a4172c3
3 changed files with 84 additions and 8 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../prelude
--# -path=.:alltenses:prelude:../api:../common
concrete AllPes of AllPesAbs =
LangPes,