1
0
forked from GitHub/gf-rgl

Fix indentation

This commit is contained in:
Ayberk Tosun
2017-08-22 16:59:27 +03:00
parent c53dd7e2ea
commit 98e6a250b4

View File

@@ -65,7 +65,8 @@ resource ResTur = ParamX ** open Prelude, Predef, HarmonyTur in {
--Prep --Prep
no_Prep = mkPrep [] Acc; no_Prep = mkPrep [] Acc;
mkPrep : Str -> Case -> {s : Str; c : Case; lock_Prep : {}} = \s,c -> lin Prep {s=s; c=c}; mkPrep : Str -> Case -> {s : Str; c : Case; lock_Prep : {}} =
\s,c -> lin Prep {s=s; c=c};
mkClause : Str -> Agr -> Verb -> {s : Str} = mkClause : Str -> Agr -> Verb -> {s : Str} =
\np, a, v -> ss (np ++ v.s ! VProg a) ; \np, a, v -> ss (np ++ v.s ! VProg a) ;