GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 09:32:53 -06:00
Code Issues Packages Projects Releases Wiki Activity

fixes in Attempto

Browse Source
This commit is contained in:
aarne
2010-01-04 21:19:13 +00:00
parent 14efc8a8a5
commit 234a3d3633
10 changed files with 48 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/attempto/AttemptoI.gf
View File

@@ -211,9 +211,6 @@ lin for_allMassS cn =
lin if_thenS = mkS if_then_Conj ;
oper adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
lin falseS s = mkS (adj_thatCl false_A s) ;
lin not_provableS s = mkS negativePol (adj_thatCl provable_A s) ;
lin possibleS s = mkS (adj_thatCl possible_A s) ;