Skip to content

Update quick reference to show post-4.0 function syntax#5649

Open
alexruk wants to merge 2 commits intodafny-lang:masterfrom alexruk:master
+2-1

Commits

Commits on Jul 26, 2024

Commits on Aug 18, 2024