Skip to content

Commit

Permalink
Equations elab laws (teorth#357)
Browse files Browse the repository at this point in the history 
This adds elaboration of `MagmaLaw`s to the `equation` command, so we
can have both with one command.

Closes teorth#143 

Depends on teorth#355
  • Loading branch information
@goens
goens authored Oct 6, 2024
1 parent 1a9fba3 commit 1f15dfe
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 1f15dfe

Please sign in to comment.