Skip to content

Commit fdfc0d7

Browse files
williamdemeowilliamdemeo
committed
Merge branch '944-migrate-all-remaining-lagda-files' of github.com:IntersectMBO/formal-ledger-specifications into 944-migrate-all-remaining-lagda-files-FINAL-FINAL
2 parents 330c6c7 + c492688 commit fdfc0d7

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)