Newt - a dependent typed programming language

try CI on tangled.org

+16
+16
.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 + - find 11 + - git 12 + steps: 13 + - name: "build newt" 14 + command: "make newt3.js" 15 + - name: "test" 16 + command: "make test"