Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Crude compilation pipeline starting to take shape. | Josh Rahm | 2023-01-09 |
| | | | | | This simply does a Stage0 -> Stage1 conversion. Namely, parse the text, check for syntax errors, squeeze the resulting ast and ... that's it. | ||
* | Parser is able to parse the goal file. | Josh Rahm | 2023-01-08 |
| | |||
* | Some more fleshing-out of the parser and better AST utils. | Josh Rahm | 2022-12-18 |
| | |||
* | WIP: Basic parser implemented. | Josh Rahm | 2022-12-17 |
| | | | | | The parser is completely untested and probably broken, but it's probably pretty close becasue it does typecheck. This is a Work-in-progress. | ||
* | fiddle: have a basic tokenizer working. | Josh Rahm | 2022-12-17 |
| | |||
* | Start implementing "fiddle" code. | Josh Rahm | 2022-12-16 |
| | | | | nothing is happening right now, but it's on its way. | ||
* | Initial commit with goal file in mind | Josh Rahm | 2022-12-16 |