ewan mcgregor gif

yup, hazel like idris has static semantics for holes but also adds a more comprehensive edit-time story (auto insertion of holes to complete incomplete syntax) and dynamic semantics (for partial evaluation in the presence of both 'empty' and 'non-empty' holes (type errors))

the goal is to enable the exploration of a trace for explanatory or debugging purposes. undecided if this kind of coloring actually helps versus the first order (green for part of same function call and no sample shown otherwise)

im experimenting atm... the general idea with the colors is that im exploring representing the relation of a given sample to the user-selected sample (green). in callstack mode (pictured) pink/ blue means captured above/below in callstack. in step mode color is step count ie relative time

good eye... i cut out the entire middle of the program to make it a square

lets talk monday

yup, always b shalizi-channeling

another case of industrial-revolution-was-the-singularity and this-has-already-happened-anism

some of the ebay copies look very well loved. id believe you stole one from a machine shop

this feels very achievable