diff options
| author | Théo Zimmermann | 2018-07-14 01:01:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-31 17:10:56 +0200 |
| commit | 3fead6af47a37c82d5f07432600a713055d75877 (patch) | |
| tree | 02de5ae6058751910030e6c5e9851f14d7dc60e8 /kernel/nativelambda.mli | |
| parent | 166a3838a7f07df4181617e111ffeb67dd817929 (diff) | |
Propose a Code of Conduct for Coq.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions