Alain Zscheile fogti
  • Joined on 2022-08-01
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

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

fogti pushed to main at fogti/WaFlesh

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

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

fogti pushed to main at fogti/WaFlesh

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

fogti pushed to main at fogti/WaFlesh

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

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

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

fogti pushed to main at fogti/ltxus

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

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

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