milner 4b9163fd66 feat(tools): showcase the core claim on the bundled example

2022-08-14 07:07:32 +00:00

..

record-compiler.sh

feat(tools): record the compiler pipeline showcase

2022-08-10 12:14:05 +00:00

record-emacs.sh

feat(tools): record an editor demo of the header fan-out

2022-07-16 18:01:52 +00:00

record-kitty.sh

feat(tools): record an editor demo of the header fan-out

2022-07-16 18:01:52 +00:00

record-lib.sh

feat(tools): pace recordings by the shell prompt

2022-08-11 12:02:20 +00:00

record-pipeline.sh

feat(tools): record the three language pipeline

2022-08-12 04:04:22 +00:00

record-showcase.sh

feat(tools): showcase the core claim on the bundled example

2022-08-14 07:07:32 +00:00