Merge pull request #10 from alex-quin-gabriel/rolling

alex-quin-gabriel · web-flow · commit a162b420048d · 2025-07-24T11:55:53.000+02:00
fixing wrong relation signature
diff --git a/tff/model/transitive-strategies.tff b/tff/model/transitive-strategies.tff
@@ -21,7 +21,7 @@ tff(strategy_decl, type,
 tff(ax_strategy, axiom,
   ! [MS : modelet_set, E: engine] :
     (
-        exertable(MS, E)
+        exertable(E, MS)
 	=>
 		strategy(MS,exert(E, MS),via_exert(exert(E, MS),MS,E))
    )

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ tff(strategy_decl, type,`
`21`	`21`	`tff(ax_strategy, axiom,`
`22`	`22`	`! [MS : modelet_set, E: engine] :`
`23`	`23`	`(`
`24`		`- exertable(MS, E)`
	`24`	`+ exertable(E, MS)`
`25`	`25`	`=>`
`26`	`26`	`strategy(MS,exert(E, MS),via_exert(exert(E, MS),MS,E))`
`27`	`27`	`)`