Repository navigation

feat: implementation for formal modal languages - #7

Merged

nathanorm merged 5 commits into

feat/formal-modal-language

Apr 9, 2026

Merged

feat: implementation for formal modal languages#7
nathanorm merged 5 commits into
masterfrom
feat/formal-modal-language

Commits on Apr 9, 2026
- feat: implementation for formal modal languages
  nathanorm
  committed
  d3cf903
- chore: udpate modal docs
  nathanorm
  committed
  8875943
- feat: comosable modal systems for diffferent modal languages
  nathanorm
  committed
  fa01094
- refactor: unary and binary operator names to avoid collisions
  nathanorm
  committed
  0f1a7a4
- chore: udpate readme with changes
  nathanorm
  committed
  4ae5f18