diff options
| author | Matej Kosik | 2016-02-17 10:32:40 +0100 |
|---|---|---|
| committer | Matej Kosik | 2016-02-17 11:13:04 +0100 |
| commit | 06fa0334047a9400d0b5a144601fca35746a53b8 (patch) | |
| tree | c3afdf28353d5ea096b1c6e3aece87ed17015b1c /_CoqProject | |
| parent | 9a7afc12e0573c74d0bb0943372dddc3c61a03f1 (diff) | |
CLEANUP: Renaming "Util.compose" function to "%"
I propose to change the name of the "Util.compose" function to "%".
Reasons:
1. If one wants to express function composition,
then the new name enables us to achieve this goal easier.
2. In "Batteries Included" they had made the same choice.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions