diff options
| author | Son Ho | 2023-06-29 14:51:53 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-29 14:51:53 +0200 |
| commit | 0cee49de70bec6d3ec2221b64a532d19ad71e5e0 (patch) | |
| tree | 0868ecebb7419dbcca2d282e9d28249a83875773 /backends/lean/Base/Primitives | |
| parent | a6de153f3bfda7feb27d16fcdf2131d37f99c7a3 (diff) | |
Generalize a bit FixI and add an example
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions