diff options
| author | Matthieu Sozeau | 2016-01-12 19:27:02 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-01-12 19:27:02 +0100 |
| commit | fc642ca962dd5228a5a714b8e41506dcbc3b6520 (patch) | |
| tree | 12903d09cdc87b6d3964d0a9e7b27e49d5413c57 /doc/stdlib | |
| parent | eb40037b4c341746933c713e8950f3a60d550f4a (diff) | |
Extend last commit: keyed unification uses full conversions on the applied constant and arguments _separately_.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions