4 ms·
Shameless self promotion: I made a toy CBPV language in TypeScript. It's purely for pedagogy. The idea is that the implementation is essentially an executable s
by gatlin 3y ago
Shameless self promotion: I made a toy CBPV language in TypeScript. It's purely for pedagogy. The idea is that the implementation is essentially an executable small step semantics, and the interop between language and machine is real purdy.
https://niltag.net/code/precursor https://niltag.net/code/precursor
- dfgdfg34545456 3y agoIs the toy language all self contained in that repo? I can see it pulls in some deps, wasn't sure if everything I need to see is in that precursor.controller.ts file or elsewhere.
- gatlin 3y agoNo, I'm annoying and split it up. https://github.com/gatlin/precursor-ts https://github.com/gatlin/precursor-ts https://github.com/gatlin/precursor-ts/blob/main/src/ceskm.ts https://github.com/gatlin/precursor-ts/blob/main/src/ceskm.t...
- dfgdfg34545456 3y agoCheers