In case you weren't aware of TutorialD / Project:M36 already: https://github.com/agentm/project-m36 https://github.com/agentm/project-m36 > Unlike most databas

In case you weren't aware of TutorialD / Project:M36 already: https://github.com/agentm/project-m36 https://github.com/agentm/project-m36 > Unlike most database management systems (DBMS), Project:M36 is opinionated software which adheres strictly to the mathematics of the relational algebra. The purpose of this adherence is to prove that software which implements mathematically-sound design principles reaps benefits in the form of code clarity, consistency, performance, and future-proofing. > Project:M36 can be used as an in-process or remote DBMS. > Project:M36 is written entirely in the Haskell programming language.