j-o-m Karma 6 Created 5 days ago About non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer All submissions on HN · View profile on HN