git.ak3n.com - cubicaltt.git/log

Anders Mörtberg [Thu, 19 Mar 2015 06:36:29 +0000 (07:36 +0100)]

Fix a typo in the parser

Simon Huber [Wed, 18 Mar 2015 23:54:52 +0000 (00:54 +0100)]

added transport

Simon Huber [Wed, 18 Mar 2015 23:15:57 +0000 (00:15 +0100)]

show transport like we parse it; whitespace

Simon Huber [Wed, 18 Mar 2015 22:48:11 +0000 (23:48 +0100)]

added app of a formula

Anders [Wed, 18 Mar 2015 17:20:06 +0000 (18:20 +0100)]

Add Id, Path, AppFormula and Trans.

funExt is working!

Anders [Wed, 18 Mar 2015 10:57:06 +0000 (11:57 +0100)]

Add Connections

Anders [Wed, 18 Mar 2015 10:53:37 +0000 (11:53 +0100)]

Rename to cubical

Anders [Wed, 18 Mar 2015 10:50:30 +0000 (11:50 +0100)]

Start adding Id types

Anders [Tue, 17 Mar 2015 13:59:45 +0000 (14:59 +0100)]

Remove Neutral data type

Anders Mörtberg [Wed, 18 Mar 2015 09:15:33 +0000 (10:15 +0100)]

Clean Resolver

Anders [Mon, 16 Mar 2015 16:09:28 +0000 (17:09 +0100)]

Start working on cubical type theory

Anders [Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)]

Initial commit

mortberg [Thu, 26 Feb 2015 13:27:28 +0000 (14:27 +0100)]

Initial commit

My fork of cubicaltt with web interface using Reflex.