Top New Best Ask Show Jobs

j-o-m

7 karma · joined December 24, 2025

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

submissions comments

No submissions yet.