Hacker News new | ask | show | jobs
user: j-o-m
created: 2025-12-24
karma: 7

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

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments