summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2023-11-09 12:33:14 +0100
committerSon Ho2023-11-09 12:33:14 +0100
commit9254f5aeadfc9d17f31e13c61a7843364220c4ed (patch)
tree91eeb1fa1bba480e1ec97b7a86cbeb27e715f5fe /backends/lean/Base/Primitives
parentc57dec640d4e12c3dc66969d626bbbca2eb733fd (diff)
Progress on making the traits work for F*
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions