TODO 255 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12

syntaxe
-------

  - le point (.) dans les noms qualifiés introduit un conflit dans la syntaxe 
    de forall/exists 	

		forall x : a. b
		forall x : a.b: c

    -> changement temporaire de syntaxe pour forall / exists : virgule
       plutôt que point