Post

andrew blinn
@disconcision.com

ah, cool! enjoyed being able to click through the program via types and marks in the middle column... very 'program as semantic database' esque. i feel like if the types list was more organized somehow it could maybe make an interesting type-first way to explore a program

HotBloodedHeroine
@hotbloodedheroine.petplay.fi

yeah ill probably implement the same type debug as the cli where every line:col has a trace list and the lsp(hover and stuff). the site is basically a compiler debugger for inspecting how the entire toolchain handles a certain input