Spahn higher inductive type (history)

February 27, 2013

February 26, 2013

February 25, 2013