1
0
forked from GitHub/gf-core

refinementsNep-11-06-27

This commit is contained in:
virk.shafqat
2011-06-27 14:55:51 +00:00
parent a98d4bb0aa
commit a7fede8ee4
21 changed files with 113 additions and 71 deletions

View File

@@ -1,7 +1,7 @@
--# -path=.:../abstract:../common:../../prelude
--
--1 Nep auxiliary operations.
-- by Dinesh SImkhada and Shafqat Virk - 2011
-- by Dinesh Simkhada and Shafqat Virk - 2011
--
-- This module contains operations that are needed to make the
-- resource syntax work.
@@ -204,7 +204,6 @@ resource ResNep = ParamX ** open Prelude, Predef in {
param
VPHTense =
VPGenPres -- impf hum nahim "ी गो"