summaryrefslogtreecommitdiff
path: root/tests/lean/misc-polonius_list/Base
diff options
context:
space:
mode:
authorSon Ho2023-05-09 10:37:49 +0200
committerSon HO2023-06-04 21:44:33 +0200
commit4078f2569b362920a648622be73761cddde8a288 (patch)
treefe60e568cbf782d513e3d5fea9e07b3d6e81c373 /tests/lean/misc-polonius_list/Base
parent12dcc49c3199dcd1b2acf4a650a9adc375781306 (diff)
Make more updates for the Lean backend
Diffstat (limited to 'tests/lean/misc-polonius_list/Base')
0 files changed, 0 insertions, 0 deletions