diff options
| author | Eduardo Julian | 2018-07-05 00:34:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-05 00:34:35 -0400 |
| commit | b8e44ec6ee38d3f67b7e3c3989de51b03e7a1352 (patch) | |
| tree | c126f9a239da03a57a8fe1c3e131314f97be37ce /luxdoc/source/program.lux | |
| parent | 023874d8cb82f59bf73a7663d7e8e3a1062ae15f (diff) | |
- Re-named "equality" to "equivalence".
Diffstat (limited to 'luxdoc/source/program.lux')
0 files changed, 0 insertions, 0 deletions