Chris Henson

icon location PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.

Results 1 comments of Chris Henson

Support folding in the infoview

I gave this a little more thought. I think the folds that make sense are the entirety of the type for each hypothesis. I don't think anything more granular is...