Skip to content

Flattening app/abs/arrow nodes in Reflection#3171

Open
mtzguido wants to merge 2 commits intoFStarLang:masterfrom mtzguido:refl_flat

Commits

Commits on Dec 16, 2023