Skip to content

Commit

Permalink
make list of concepts with (just) default fixity properties (#47)
Browse files Browse the repository at this point in the history 
* add extra nesting level

* add extra nesting level

* default fixity

* default fixity

* default fixity

* default fixity

* default fixity

* hrules

* use - form for lists

* use - form for lists
  • Loading branch information
@davidcarlisle
davidcarlisle authored Oct 12, 2023
1 parent 7f66c94 commit cfa3450
Show file tree
Hide file tree
Showing 2 changed files with 814 additions and 771 deletions.
Loading

0 comments on commit cfa3450

Please sign in to comment.