added thierrys examples (funext from univalence,helix)
authorSimon Huber <hubsim@gmail.com>
Sun, 12 Apr 2015 08:37:17 +0000 (10:37 +0200)
committerSimon Huber <hubsim@gmail.com>
Sun, 12 Apr 2015 08:37:17 +0000 (10:37 +0200)
commit304e4e48b80bf99ba9006ad90a7934207f719408
treeb9db585b6f4d44659b84c8bff3aff51a771f9725
parentd2a4fe41addbf30bef092a717dc5bbaf4da7864b
added thierrys examples (funext from univalence,helix)
examples/funext.ctt [new file with mode: 0644]
examples/helix.ctt [new file with mode: 0644]