Newt - a dependent typed programming language

try CI on tangled.org

+14
+14
.tangled/workflows/build.yml
··· 1 + when: 2 + - event: ["push", "manual"] 3 + branch: ["main"] 4 + engine: "nixery" 5 + dependencies: 6 + nixpkgs: 7 + - nodejs 8 + - gnumake 9 + - diffutils 10 + steps: 11 + - name: "build newt" 12 + command: "make newt3.js" 13 + - name: "test" 14 + command: "make test"