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.
