- Website: https://malv.in/
- Pronouns: he/him
m4lvin / modal-tableau-interpolation Goto Github PK
View Code? Open in Web Editor NEWModal Tableau with Interpolation in Haskell
Home Page: https://w4eg.de/malvin/illc/tapdleau
License: GNU General Public License v3.0