diff options
| author | Son Ho | 2024-03-07 17:43:55 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-07 17:43:55 +0100 |
| commit | 124ee77181c4255e2c8f730305b0b1b7802b9a58 (patch) | |
| tree | 96097be160795705d479a39ccd165977a3bb9f1d /backends/lean/Base/Diverge.lean | |
| parent | 305f916c602457b0a1fa8ce5569c6c0bf26d6f8e (diff) | |
Add a notation for tuple field accesses in Lean
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions