Rob Rix‎
rob_rix
how did I not notice the relationship between telescopes and neutral spines before? a telescope is a way of looking at function types. { A : Type } -> A
Read more