diff options
| author | Robert Norton | 2017-04-07 16:20:05 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-07 16:54:20 +0100 |
| commit | 0f32be4f49c9ab4dbc7b0147d36e04fefc2b274c (patch) | |
| tree | c2e2815f92c4f8cc4467f2217f65ca02f44c6ed8 /language/primitive_doc.ott | |
| parent | a5ff1a848081f17d0785e4b5fbb3b89908cce3a5 (diff) | |
simplify xor using ocaml <> operator which also has the advantage of being more correct
Diffstat (limited to 'language/primitive_doc.ott')
0 files changed, 0 insertions, 0 deletions