diff options
| author | Jonathan Protzenko | 2023-01-31 11:11:51 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | 3a67a4174e291c0b88537415c01fe2ada90e1ca0 (patch) | |
| tree | 23db92996974a0427d333db959e40165e6552013 /.gitignore | |
| parent | b54d983914ad8f380ca474fd3fece66770fc21cd (diff) | |
Fill out Primitives.lean
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions