ReplayAutonomous app testing for teams who ship at AI-speed
Promoted
Launched this week
A Program
A Program for all programs
3 followers
A Program for all programs
3 followers
A Program is a - "dependently typed" - "effectful" - "HOTT (Higher Observational Type Theory) aware" programming language. main := #print #"hello, world!"; Type system as preceding computation, Compilation as proceeding computation, Execution as effect aware interaction. Thep source files are compiled intoa artifact files. Artifact files are to be trans-piled into other programming languages like - C programming language - Verilog HDL - CUDA C so, "A" is a programming language for all programs.
