h0nzZik
commented
11 months ago - Fix monotonicity condition (again!)
- OPML model component for lists
- OPML signature union + morphisms to it
- WIP example that is supposed to use GenericModel (but does not use it yet)