diff options
| author | Son Ho | 2023-12-21 22:45:47 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-21 22:45:47 +0100 |
| commit | eae740d644f5ccd1ad2a7e853a9cdf303c8df61e (patch) | |
| tree | c059ea5c7cd3b657cf853f9816d7c038b33151fd /tests/lean/Array.lean | |
| parent | 266db04e97778911c93cfd1aac251de04bb25f53 (diff) | |
Fix issues when extracting stateful functions
Diffstat (limited to 'tests/lean/Array.lean')
0 files changed, 0 insertions, 0 deletions