Sun, 01 May 2011 18:37:24 +0200 | blanchet | minor cleanup | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | reimplemented the hAPP introduction code so that it's done earlier, when the types are still available | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | declare TFF types so that SNARK can be used with types | changeset | files |