The 6 Big Ideas of Typescript

Category Theory proofs in Idris

Changes I would make to Go