Alain Zscheile fogti · she/her
1 follower · 0 following
  • Joined on 2022-08-01
Repositories
22
 Projects Packages Code Public activity Starred repositories
fogti created repository fogti/yz-curvep-exs 2023-12-06 20:13:58 +00:00
fogti pushed to main at fogti/yanais 2023-11-06 20:26:18 +00:00
3f609ccc40 rust/syntax: explicit binds for lambda types
fogti pushed to main at fogti/yanais 2023-11-06 20:18:26 +00:00
8e5c8f697f rust/typeck: just store the closure for lambdas
fogti pushed to main at fogti/yanais 2023-11-03 19:30:45 +00:00
b99ff62ea2 .
fogti pushed to main at fogti/yanais 2023-11-03 19:22:51 +00:00
f098db4e9c rust: implement expression parsing
fogti pushed to main at fogti/yanais 2023-11-03 17:57:57 +00:00
b2c7935968 rust: get rid of parsing trait parameters
fogti pushed to main at fogti/yanais 2023-11-03 17:51:07 +00:00
468474fcb2 .
fogti pushed to main at fogti/yanais 2023-11-03 14:54:47 +00:00
09580d4998 rust: parsing of literals
fogti pushed to main at fogti/yanais 2023-11-03 14:37:09 +00:00
1f2329ab5f rust: split stuff into more crates
fogti pushed to main at fogti/yanais 2023-11-03 14:28:08 +00:00
ab931de08f rust: 'official' yanais record and pattern syntax
fogti pushed to main at fogti/yanais 2023-11-03 14:17:03 +00:00
adc5e07bfd rust: better lazy types for lambdas
fogti pushed to main at fogti/yanais 2023-11-02 00:10:41 +00:00
a3e1609654 rust: move syntax/AST stuff into separate crate
fogti pushed to main at fogti/yanais 2023-10-31 21:26:42 +00:00
32b9fd4039 add summary documentation (still a bit WIP)
fogti pushed to main at fogti/yanais 2023-10-31 14:13:02 +00:00
e6cda8b525 rust: run clippy
fogti pushed to main at fogti/yanais 2023-10-31 14:08:41 +00:00
0d07940cc1 rust: egraph: +RefTyDerive
fogti pushed to main at fogti/yanais 2023-10-31 13:43:47 +00:00
17409813a5 rust: correctly strip heads on application
fogti pushed to main at fogti/yanais 2023-10-31 13:35:20 +00:00
f423f2092b rust: combine deep-cloning with substitution, otherwise we would iterate the graph twice
fogti pushed to main at fogti/yanais 2023-10-31 01:53:32 +00:00
a49f930eb1 rust: add references to egraph
fogti pushed to main at fogti/yanais 2023-10-31 01:37:58 +00:00
465af72b1a rust: use a loop when forcing expressions
fogti pushed to main at fogti/yanais 2023-10-31 00:39:18 +00:00
69511b04ae rust: implement Layout and expression graph