Toggle navigation
TWText.com
TWText.com
faq
Contact US
Follow US
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