Skip to content

Top New Best Ask Show Jobs

j-o-m | Better HN

j-o-m

7 karmaJoined December 24, 20255 submissions

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