diff options
| author | Zack Grannan | 2024-04-24 17:26:21 -0700 |
|---|---|---|
| committer | Zack Grannan | 2024-04-26 12:52:02 -0700 |
| commit | 281513027f3a4c5650109d725d1ac5ee7739edba (patch) | |
| tree | a35feb03710a3f20e53544ef93ac5ba1b37461fc /backends/lean/Base/Diverge/ElabBase.lean | |
| parent | 5da597289c1723aa59bf87ad5075675820c18f73 (diff) | |
Use eachDefaultSystem in flake.nix, update charon in flake.lock
Diffstat (limited to 'backends/lean/Base/Diverge/ElabBase.lean')
0 files changed, 0 insertions, 0 deletions