summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
authorSon Ho2024-03-07 17:43:55 +0100
committerSon Ho2024-03-07 17:43:55 +0100
commit124ee77181c4255e2c8f730305b0b1b7802b9a58 (patch)
tree96097be160795705d479a39ccd165977a3bb9f1d /compiler/dune
parent305f916c602457b0a1fa8ce5569c6c0bf26d6f8e (diff)
Add a notation for tuple field accesses in Lean
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions