A Program

About

A Program is a - "dependently typed" - "effectful" - "HOTT (Higher Observational Type Theory) aware" programming language. main := #print #"hello, world!";

Discovery history

1. Product Hunt 新品

   Sep 18, 2026 · 1 observations