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. The .p source files are compiled into .a 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.