User: j-o-m

Created: 12/24/2025, 10:33:22 PM

Karma: 7

non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer