j-o-m Karma 7 Created 2 months 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