Alain Zscheile fogti

1 Followers · 0 Following

• Joined on 2022-08-01

Repositories

15

Projects Packages Code Public Activity Starred Repositories

Loading Heatmap…

fogti pushed to main at fogti/WaFlesh

• 44d71ac8f9 add some notes about type systems and type theory

2023-05-27 22:31:29 +00:00

fogti pushed to main at fogti/WaFlesh

• 5672942c6b +typesys crate

2023-05-25 07:14:20 +00:00

fogti pushed to main at fogti/WaFlesh

• 5a3254004f remove tag+match, introduce return

2023-05-23 17:43:27 +00:00

fogti pushed to main at fogti/WaFlesh

• 8d693ae99d reintroduce match with : (this shall ease type-checking, static analysis)

2023-05-23 06:34:19 +00:00

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 »

2023-05-22 19:42:18 +00:00

fogti pushed to main at fogti/WaFlesh

• 35ada4a21d split expression types

2023-05-22 19:07:37 +00:00

fogti pushed to main at fogti/WaFlesh

• 3703b65e41 merge Object and Expression

2023-05-22 19:04:04 +00:00

fogti pushed to main at fogti/WaFlesh

• 599721de7c parser: small refactor around Invocations

2023-05-21 22:59:04 +00:00

fogti pushed to main at fogti/WaFlesh

• d17524a7d2 parser: make the RHS object in module entries optional

2023-05-21 11:30:13 +00:00

fogti pushed to main at fogti/WaFlesh

• 8f1f746a82 reduce code repetition regarding single-token recognition in parser

2023-05-21 11:27:28 +00:00

fogti pushed to main at fogti/WaFlesh

• 23ce8d0cb9 add new keywords and track CtrlFlowEdit in module entries

2023-05-21 11:18:06 +00:00

fogti pushed to main at fogti/WaFlesh

• 6297042297 reduce duplication in lexer

2023-05-20 21:37:30 +00:00

fogti pushed to main at fogti/WaFlesh

• 2afafd2bf9 get rid of the special keyword syntax

2023-05-20 21:33:29 +00:00

fogti pushed to main at fogti/ltxus

• d37f3c588b resurrect + add trfrac.sty

2023-05-20 19:29:24 +00:00

fogti pushed to main at fogti/ltxus

• a9126c752e resurrect + add trfrac.sty

2023-05-20 19:22:46 +00:00

fogti created branch main in fogti/ltxus

2023-05-20 19:20:53 +00:00

fogti pushed to main at fogti/ltxus

• ed3941f6b0 resurrect + add trfrac.sty

2023-05-20 19:20:53 +00:00

fogti created repository fogti/ltxus

2023-05-20 19:19:00 +00:00

fogti pushed to main at fogti/WaFlesh

• f7d5e53a01 allow inline modules in places where code objects can be used

2023-05-20 11:59:33 +00:00

fogti pushed to main at fogti/WaFlesh

• a76dc04211 add integer support to parser

2023-05-19 22:52:55 +00:00