Code

Library support#5

Code

Open

keyboardDrummer wants to merge 2 commits intodafny-lang:masterdafny-lang/rfcs:masterfrom keyboardDrummer:librarySupportkeyboardDrummer/rfcs:librarySupportCopy head branch name to clipboard

+207

Commits

Commits on Aug 5, 2021

• Add an RFC for Library support

  

  Remy Willems

  committed
  3cc4d39

  Copy full SHA for 3cc4d39

• Remove template and add more implementation information

  

  Remy Willems

  committed
  6fc97eb

  Copy full SHA for 6fc97eb