• 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
..
array.mlw Loading commit data...
hashtbl.mlw Loading commit data...
queue.mlw Loading commit data...
random.mlw Loading commit data...
ref.mlw Loading commit data...
stack.mlw Loading commit data...
string.mlw Loading commit data...