fogti pushed to main at fogti/WaFlesh
-
44d71ac8f9 add some notes about type systems and type theory
fogti pushed to main at fogti/WaFlesh
-
5a3254004f remove tag+match, introduce return
fogti pushed to main at fogti/WaFlesh
-
8d693ae99d reintroduce match with : (this shall ease type-checking, static analysis)
fogti pushed to main at fogti/WaFlesh
-
ed6c52f120 introduce symbol to indicate matching, now used on all single-arg invocations
-
23490cc237 make parsing a bit nicer
-
f0235832c3 parse 'tag' expressions
- Compare 3 commits »
fogti pushed to main at fogti/WaFlesh
-
3703b65e41 merge Object and Expression
fogti pushed to main at fogti/WaFlesh
-
599721de7c parser: small refactor around Invocations
fogti pushed to main at fogti/WaFlesh
-
d17524a7d2 parser: make the RHS object in module entries optional
fogti pushed to main at fogti/WaFlesh
-
8f1f746a82 reduce code repetition regarding single-token recognition in parser
fogti pushed to main at fogti/WaFlesh
-
23ce8d0cb9 add new keywords and track CtrlFlowEdit in module entries
fogti pushed to main at fogti/WaFlesh
-
6297042297 reduce duplication in lexer
fogti pushed to main at fogti/WaFlesh
-
2afafd2bf9 get rid of the special keyword syntax
fogti pushed to main at fogti/ltxus
-
d37f3c588b resurrect + add trfrac.sty
fogti pushed to main at fogti/ltxus
-
a9126c752e resurrect + add trfrac.sty
fogti pushed to main at fogti/ltxus
-
ed3941f6b0 resurrect + add trfrac.sty
fogti created repository fogti/ltxus
fogti pushed to main at fogti/WaFlesh
-
f7d5e53a01 allow inline modules in places where code objects can be used
fogti pushed to main at fogti/WaFlesh
-
a76dc04211 add integer support to parser