Alain Emilia Anna Zscheile fogti · she/her
1 follower · 0 following
  • Joined on 2022-08-01
Repositories
25
 Projects Packages Code Public activity Starred repositories
fogti pushed to main at fogti/floof-rs 2023-06-24 19:15:44 +00:00
f4ca255f06 initial commit
fogti pushed to main at fogti/WaFlesh-v1 2023-06-18 17:48:48 +00:00
c38236847d typesys: implement formatting
fogti pushed to main at fogti/WaFlesh-v1 2023-06-18 15:31:11 +00:00
f437e0af94 types: +more explanation of problems/necessities
fogti pushed to main at fogti/WaFlesh-v1 2023-05-27 22:31:29 +00:00
44d71ac8f9 add some notes about type systems and type theory
fogti pushed to main at fogti/WaFlesh-v1 2023-05-25 07:14:20 +00:00
5672942c6b +typesys crate
fogti pushed to main at fogti/WaFlesh-v1 2023-05-23 17:43:27 +00:00
5a3254004f remove tag+match, introduce return
fogti pushed to main at fogti/WaFlesh-v1 2023-05-23 06:34:19 +00:00
8d693ae99d reintroduce match with : (this shall ease type-checking, static analysis)
fogti pushed to main at fogti/WaFlesh-v1 2023-05-22 19:42:18 +00:00
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-v1 2023-05-22 19:07:37 +00:00
35ada4a21d split expression types
fogti pushed to main at fogti/WaFlesh-v1 2023-05-22 19:04:04 +00:00
3703b65e41 merge Object and Expression
fogti pushed to main at fogti/WaFlesh-v1 2023-05-21 22:59:04 +00:00
599721de7c parser: small refactor around Invocations
fogti pushed to main at fogti/WaFlesh-v1 2023-05-21 11:30:13 +00:00
d17524a7d2 parser: make the RHS object in module entries optional
fogti pushed to main at fogti/WaFlesh-v1 2023-05-21 11:27:28 +00:00
8f1f746a82 reduce code repetition regarding single-token recognition in parser
fogti pushed to main at fogti/WaFlesh-v1 2023-05-21 11:18:06 +00:00
23ce8d0cb9 add new keywords and track CtrlFlowEdit in module entries
fogti pushed to main at fogti/WaFlesh-v1 2023-05-20 21:37:30 +00:00
6297042297 reduce duplication in lexer
fogti pushed to main at fogti/WaFlesh-v1 2023-05-20 21:33:29 +00:00
2afafd2bf9 get rid of the special keyword syntax
fogti pushed to main at fogti/ltxus 2023-05-20 19:29:24 +00:00
d37f3c588b resurrect + add trfrac.sty
fogti pushed to main at fogti/ltxus 2023-05-20 19:22:46 +00:00
a9126c752e resurrect + add trfrac.sty
fogti pushed to main at fogti/ltxus 2023-05-20 19:20:53 +00:00
ed3941f6b0 resurrect + add trfrac.sty
fogti created branch main in fogti/ltxus 2023-05-20 19:20:53 +00:00