Cedille's emacs thing has a mode where you can traverse the nodes of the ASTs of your programs, and it displays the type of the node as well as the types of variables in the surrounding context
When there's a type error you can jump to the error node and see expected/actual types
Quote Tweet
programmer friends!
whats your favorite but not common language tooling thing?
3
2
30
