Code

Fixing numerous bugs#3

Code

Open

For-The-Wolf wants to merge 1 commit intobch29:masterbch29/agda-holes:masterfrom For-The-Wolf:bug_fixCopy head branch name to clipboard

+5

Commits

Commits on Feb 2, 2021

• Fixing numerous bugs

  

  For-The-Wolf

  authored and

  For-The-Wolf

  committed
  fd143da