• Andrei Paskevich's avatar
    several changes in syntax · aa2c430e
    Andrei Paskevich authored
    - No more "and", "or", "implies", "iff", and "~".
      Use "/\", "\/", "->", "<->", and "not" instead.
    
    - No more "logic". Use "function" or "predicate".
    aa2c430e
Name
Last commit
Last update
..
int Loading commit data...
transform Loading commit data...
algebra.why Loading commit data...
bool.why Loading commit data...
comparison.why Loading commit data...
floating_point.why Loading commit data...
function.why Loading commit data...
graph.why Loading commit data...
int.why Loading commit data...
list.why Loading commit data...
map.why Loading commit data...
number.why Loading commit data...
option.why Loading commit data...
pervasives.mlw Loading commit data...
real.why Loading commit data...
relations.why Loading commit data...
set.why Loading commit data...
sum.why Loading commit data...