Code

Ban open holes and code comments#715

Code

Closed

fredrik-bakke wants to merge 2 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:disallow-unsolved-metasfredrik-bakke/agda-unimath:disallow-unsolved-metasCopy head branch name to clipboard

+86

Commits

Commits on Aug 27, 2023

• Add miscellaneous agda convention checker

  fredrik-bakke

  committed
  7835327

  Copy full SHA for 7835327

Commits on Aug 28, 2023

• Merge branch 'master' into disallow-unsolved-metas

  fredrik-bakke

  authored
  184027c

  Copy full SHA for 184027c