diff options
| author | Théo Zimmermann | 2020-05-13 23:28:20 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-13 23:28:20 +0200 |
| commit | b1a6cb519fe11a4ab4b6d248235e5fa5af8062b9 (patch) | |
| tree | f05d49dbd6b53befbe32fc0bacd31dbd221ca0a6 /kernel/nativecode.ml | |
| parent | 308da7f602ce3d2b024ab40ca8b3d57f47317213 (diff) | |
| parent | acebc2c81a88e03b8117bfc22ed1441132183908 (diff) | |
Merge sections on CoInductive types and co-recursive functions in new file.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions