monax-lambda

Timeline
Login

Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2025-10-05
18:27
exports Leaf check-in: 8e6e7934bf user: monax tags: new-ast
2025-10-04
13:19
Add Case expressions to the AST check-in: 2a15e4a514 user: monax tags: new-ast
12:31
add some comments and documentation because I am procrastinating. check-in: 597bd3e6ff user: monax tags: new-ast
02:24
Add a literal parser and add Let Definitions to the AST check-in: 251bb705f0 user: monax tags: new-ast
2025-10-03
12:45
remove comments from the AST check-in: 8edb770176 user: monax tags: new-ast
12:31
Making a new AST. I had thought about adding comments to the AST so I could print them but I changed my mind again. check-in: 505c0d0293 user: monax tags: new-ast
2025-09-22
22:48
merge Leaf check-in: 2cf76b267b user: monax tags: trunk
01:51
more primitive functinos Closed-Leaf check-in: 70c6fdbbdd user: monax tags: nbe
2025-09-19
14:32
Add some primitive functions check-in: 1e6c8b3ab8 user: monax tags: nbe
2025-09-17
00:05
merge check-in: d37f8bf5b8 user: monax tags: nbe
00:05
make the exe work Closed-Leaf check-in: ec29402895 user: monax tags: infix-operators
00:03
make tests pass check-in: 81f0832b01 user: monax tags: infix-operators
2025-09-16
23:22
merge check-in: 1c7fdfd7a3 user: monax tags: infix-operators
23:21
merge Closed-Leaf check-in: fed022b8ee user: monax tags: parser-combinator
23:20
merge Closed-Leaf check-in: 7dc7982068 user: monax tags: module-parser
23:20
add infix let defs and adjust prec for the pretty printer Closed-Leaf check-in: c4521b52d2 user: monax tags: add-infix-to-syntax
23:10
Add InfixApp to the syntax of Expr check-in: acbffbde3f user: monax tags: add-infix-to-syntax
22:40
harden the parser a bit check-in: 458f3f494b user: monax tags: module-parser
22:40
some prim functions for fun check-in: 9d88e83cf6 user: monax tags: module-parser
2025-09-14
22:23
get tests to compile check-in: 6112ae2488 user: monax tags: module-parser
21:02
Update the parser for modules check-in: 9d2eaef32c user: monax tags: module-parser
18:30
update grammar to include the concept of modules, declarations, and such check-in: 5347b8aaa3 user: monax tags: module-parser
17:46
rename the parser module check-in: 6ed7f9b848 user: monax tags: module-parser
17:44
Moving to a new branch since fixity declarations seem to necessitate a more module structure, rather than having an entire document just be a single expression. check-in: d0e1a2de26 user: monax tags: module-parser
02:14
imports and exports check-in: 64816c01ad user: monax tags: parser-combinator
02:10
implement more of the parser and have it mostly owrking check-in: ece1d68076 user: monax tags: parser-combinator
2025-09-13
21:05
New module using megaparsec because alex+happy kept making me want to throw up check-in: 545e2c3e25 user: monax tags: parser-combinator
17:23
don't remember but I'm not using this kuso parser generator anymore check-in: 080323e3e1 user: monax tags: infix-operators
14:22
Introduce an arrow monad to the parser so it can use the fixity map check-in: fcdc3231d7 user: monax tags: infix-operators
14:01
do some stuff related to infix operators check-in: fe38f36ba5 user: monax tags: infix-operators
12:58
small refactors, adding a typeclass as dual to ToG check-in: 5657bccb3e user: monax tags: nbe
2025-09-12
17:49
add infixr parsers as a poc check-in: ab6bc61a0e user: monax tags: infix-operators
16:47
Add some stuff in the lexer to support infix declarations and infix operators check-in: 32f0824fc9 user: monax tags: infix-operators
2025-09-10
23:13
Add test case check-in: 375e8128e8 user: monax tags: nbe
23:10
Adjust a token prec in the parser check-in: 0d71b04dcf user: monax tags: nbe
22:53
merge check-in: f976c5df5c user: monax tags: nbe
22:52
prec seems to be better now, hard for me to tell if it is "technically" correct but my tests are passing. Closed-Leaf check-in: 76b254815d user: monax tags: prec
22:41
add a comment that I will probably need in the future check-in: 7aad143f0e user: monax tags: prec
22:38
Adjust prec of some parts of pretty printer check-in: 652958b50c user: monax tags: prec
22:10
fix the let-in printer by removing an extra space check-in: bb71a3e791 user: monax tags: prec
22:09
add a test check-in: 209e16ed76 user: monax tags: prec
2025-09-09
23:38
update some test stuff check-in: e8d042cacb user: monax tags: prec
22:49
rename and write some parsers for defining functions with operators but comment it out because the AST could use some work check-in: 62ec104832 user: monax tags: prec
22:39
refactor the parser a lil bit check-in: 7dee10e4aa user: monax tags: prec
22:06
adjust parser prec check-in: 7338fd3e90 user: monax tags: prec
2025-09-08
02:30
more groups in the printer check-in: 8e8bcf5042 user: monax tags: nbe
02:25
small tweak to the printer check-in: 0f9cac3cbf user: monax tags: nbe
00:45
merge check-in: d01d6315ba user: monax tags: nbe
00:43
another test Closed-Leaf check-in: 0c054b2935 user: monax tags: parser-generator
00:33
Improve the pretty printer with precedence that seems to work check-in: 04744b1ade user: monax tags: parser-generator