ParentFull threadeatonphil·What did you build? The only real use cases I've heard of were in language prototypes or proof assistants (i.e. HOL, Isabelle).View on HN