Code

remove the jailbreak from agda2hs#9

Code

Merged

jespercockx merged 1 commit intojespercockx:masterjespercockx/scope:masterfrom liesnikov:masterliesnikov/scope:masterCopy head branch name to clipboardSep 24, 2024

+4-5

Commits

Commits on Sep 24, 2024

• remove the jailbreak from agda2hs

  Show description for 9afcfab
  liesnikov

  committed
  9afcfab

  Copy full SHA for 9afcfab