Added notes on cubical type theory

Notes on cubical sets and type theories
added the pdf

added some stuff