diff options
| author | Guillaume Melquiond | 2020-08-31 13:53:49 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | 0d6f8e4b12e09e8a5a7e562a80d962dca69da7af (patch) | |
| tree | 20c16be8b536ef4bc34b551f508a4cb6efebf082 /kernel/byterun/coq_fix_code.c | |
| parent | 4e2bd77d2c6a6d0791c2b30a1b7cb3524a148800 (diff) | |
Improve documentation of closure representations.
Diffstat (limited to 'kernel/byterun/coq_fix_code.c')
0 files changed, 0 insertions, 0 deletions