User: j-o-m

• Created: 6 hours ago
• Karma: 1
• non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer

submissions | comments