Alain Zscheile fogti
1 follower · 0 following
  • Joined on 2022-08-01
Repositories
22
 Projects Packages Code Public activity Starred repositories
fogti pushed to main at fogti/yanais 2024-02-26 22:45:55 +00:00
55ce72ed75 ocaml: the parser should use Seq.t instead of a list to avoid expensive list mangling
fogti pushed to main at fogti/yanais 2024-02-26 16:48:53 +00:00
f283c1c4e7 ocaml/syntax: +Interval type and value literals
fogti pushed to main at fogti/yanais 2024-02-25 23:11:34 +00:00
216e0d1efb ocaml: +syntax/Reporter
fogti pushed to main at fogti/yanais 2024-02-25 22:29:04 +00:00
42afefb5e9 ocaml: actually parse something; fix lambdas
fogti pushed to main at fogti/yanais 2024-02-25 20:19:57 +00:00
484c3dba70 ocaml: support file imports
fogti pushed to main at fogti/yanais 2024-02-25 19:45:13 +00:00
68839eb9c8 improve EUnexpectedToken; do Lambda parsing
387a7d4baa ocaml: reform msr stuff
Compare 2 commits »
fogti pushed to main at fogti/yanais 2024-02-25 14:08:51 +00:00
2bd7b27100 ocaml: port loc_span to Asai.Range.t
fogti pushed to main at fogti/yanais 2024-02-25 10:11:42 +00:00
5e1f6979ea ocaml: merge yanaijepeux
fogti pushed to main at fogti/yanais 2024-02-25 09:18:21 +00:00
6b4eca0614 ocaml/project: add more metadata
fogti pushed to main at fogti/yanaijepeux 2024-02-24 12:47:00 +00:00
16ea1b7d57 StackAction: +map
fogti pushed to main at fogti/yanaijepeux 2024-02-23 22:18:08 +00:00
d406edfa82 update deps
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:26:46 +00:00
d03d004fa5 try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:25:27 +00:00
d2eea2406d try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:20:12 +00:00
b222ee95ce try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:18:35 +00:00
1186245133 try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:17:40 +00:00
a1d3f41a7c try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:13:39 +00:00
3557cf1896 try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:11:33 +00:00
b752314f09 try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 15:00:26 +00:00
ac83f3fa20 try to fix pipeline
fogti pushed to main at fogti/yanaijepeux 2024-02-23 14:58:31 +00:00
d4e7234f29 try to fix pipeline