diff options
| author | Son Ho | 2023-12-22 21:03:59 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-22 21:03:59 +0100 |
| commit | dd7552bec1be1695682801fca6ba6dfcfa990fbb (patch) | |
| tree | 2bf42baae680ef57deadce1fbe3824ad405dc055 /backends/lean/Base/Primitives/Alloc.lean | |
| parent | 70d506d148e5ae1a3e4115034161f449aff666ed (diff) | |
Update the computation of the effect info for the loops
Diffstat (limited to 'backends/lean/Base/Primitives/Alloc.lean')
0 files changed, 0 insertions, 0 deletions