diff options
| author | Son Ho | 2023-06-29 23:15:20 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-29 23:15:20 +0200 |
| commit | fdc8693772ecb1978873018c790061854f00a015 (patch) | |
| tree | 7ef00d00d7f939fc364faca43974bbdb871a48cf /backends/lean/lean-toolchain | |
| parent | 0cee49de70bec6d3ec2221b64a532d19ad71e5e0 (diff) | |
Write function to compute the input/output types
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions