dccc650 | emblack | 07 September 2017, 12:30:12 UTC | updated thesis source file | 07 September 2017, 12:30:12 UTC |
f0b5cc7 | emblack | 24 April 2017, 14:38:46 UTC | last last | 24 April 2017, 14:38:46 UTC |
41d7bc2 | emblack | 24 April 2017, 08:11:41 UTC | final thesis | 24 April 2017, 08:11:41 UTC |
c6b6d89 | emblack | 22 April 2017, 21:13:08 UTC | version before edits | 22 April 2017, 21:13:08 UTC |
5574031 | emblack | 19 April 2017, 16:05:38 UTC | updated file to deal with figures better, commit before last edits | 19 April 2017, 16:05:38 UTC |
ae665b0 | emblack | 19 April 2017, 06:58:27 UTC | before restructuring ending | 19 April 2017, 06:58:27 UTC |
5fc718d | emblack | 19 April 2017, 04:03:45 UTC | edited intro and related work, still really need help with treewidth def | 19 April 2017, 04:03:45 UTC |
604d285 | emblack | 19 April 2017, 00:15:26 UTC | updated intro, pre-meeting paper | 19 April 2017, 00:15:26 UTC |
286f66f | emblack | 18 April 2017, 20:15:08 UTC | format change, text before starting to put in dans edits | 18 April 2017, 20:15:08 UTC |
0e1f10c | emblack | 18 April 2017, 11:04:20 UTC | second draft | 18 April 2017, 11:04:20 UTC |
a07d0fe | emblack | 18 April 2017, 06:39:42 UTC | thesis before major edits | 18 April 2017, 06:39:42 UTC |
f66d3d6 | emblack | 16 April 2017, 23:33:31 UTC | modified thesis text | 16 April 2017, 23:33:31 UTC |
3e421f8 | emblack | 16 April 2017, 20:03:29 UTC | more thesis document | 16 April 2017, 20:03:29 UTC |
a94ae30 | emblack | 15 April 2017, 09:11:31 UTC | updated thesis text | 15 April 2017, 09:11:31 UTC |
94fc34b | emblack | 15 April 2017, 00:35:15 UTC | thesis stuff and also fixed newouterlemmas | 15 April 2017, 00:35:15 UTC |
f1273cd | emblack | 14 April 2017, 18:00:13 UTC | merged dan and my edits | 14 April 2017, 18:00:13 UTC |
426b506 | emblack | 14 April 2017, 17:21:38 UTC | fixed outerlemmas | 14 April 2017, 17:21:38 UTC |
225591e | Dan Licata | 14 April 2017, 11:10:52 UTC | put in a let to avoid the copy and paste | 14 April 2017, 11:10:52 UTC |
8f4e570 | emblack | 14 April 2017, 07:01:22 UTC | stuff | 14 April 2017, 07:01:22 UTC |
3b103c1 | emblack | 13 April 2017, 06:22:45 UTC | small changes to naive and treedecomp, also added a draft of some things in outerlemmas | 13 April 2017, 06:22:45 UTC |
a67d5f7 | emblack | 04 April 2017, 02:57:26 UTC | trouble with lemmaNaive | 04 April 2017, 02:57:26 UTC |
cfd49d9 | emblack | 30 March 2017, 16:24:45 UTC | added definition of * and started making naive algo | 30 March 2017, 16:24:45 UTC |
74b48d8 | emblack | 18 March 2017, 19:04:23 UTC | lots of questions on opentruth | 18 March 2017, 19:04:23 UTC |
f391bee | emblack | 06 March 2017, 22:02:07 UTC | threaded through structureS change, need to figure out reduced | 06 March 2017, 22:02:07 UTC |
5359914 | Dan Licata | 22 February 2017, 03:44:45 UTC | work on opentruth | 22 February 2017, 03:44:45 UTC |
d9ce38c | emblack | 22 February 2017, 01:59:14 UTC | trying to change code. help? | 22 February 2017, 01:59:14 UTC |
b5344b1 | emblack | 21 February 2017, 23:17:29 UTC | changed branch to only allow nil on for alls, about to do big changegit status | 21 February 2017, 23:17:29 UTC |
77a9342 | emblack | 20 February 2017, 02:23:51 UTC | merge to get dans agda fixes | 20 February 2017, 02:23:51 UTC |
1359531 | emblack | 20 February 2017, 02:22:14 UTC | small improvements to opentoClosed | 20 February 2017, 02:22:14 UTC |
3b000bc | Dan Licata | 20 February 2017, 02:20:14 UTC | small mso things | 20 February 2017, 02:20:14 UTC |
37b2ad7 | emblack | 20 February 2017, 01:46:25 UTC | added in some of opentoclosed, changed definition of opentruth to allow both open and closed structures | 20 February 2017, 01:46:25 UTC |
88f36ff | emblack | 19 February 2017, 22:32:30 UTC | having some trouble with outerlemmas | 19 February 2017, 22:32:30 UTC |
540a85b | emblack | 19 February 2017, 20:25:39 UTC | added some functions in signatures necessary for the proper def of treedecomp | 19 February 2017, 20:25:39 UTC |
952a5a3 | emblack | 13 February 2017, 02:54:07 UTC | added treedecomp with some of the right conditions, added set complement | 13 February 2017, 02:54:07 UTC |
c4f472d | emblack | 07 February 2017, 21:05:36 UTC | got extend working and made a draft of gameEquiv | 07 February 2017, 21:05:36 UTC |
3a0e6fe | emblack | 06 February 2017, 22:55:51 UTC | changed listbijection to be a bijection between lists of different types; wrote extend' and extend to recognize that the underlying subsets of extensions are preserved (I think--may need work) | 06 February 2017, 22:55:51 UTC |
deb205d | emblack | 03 February 2017, 19:56:11 UTC | merged gameEquiv changes and listbijection changes | 03 February 2017, 19:56:11 UTC |
f07c95e | emblack | 03 February 2017, 19:27:28 UTC | changed gameEquiv to not mention the function | 03 February 2017, 19:27:28 UTC |
465a1a3 | Dan Licata | 03 February 2017, 16:11:46 UTC | add ListBijection to lib/List | 03 February 2017, 16:11:46 UTC |
4078c98 | emblack | 02 February 2017, 05:19:09 UTC | either fixed a mistake or created one in gameEquiv | 02 February 2017, 05:19:09 UTC |
8e0d7b0 | emblack | 02 February 2017, 05:00:40 UTC | filled out part of gameEquiv | 02 February 2017, 05:00:40 UTC |
44638b1 | emblack | 31 January 2017, 22:55:43 UTC | test | 31 January 2017, 22:55:43 UTC |
26ccc18 | Dan Licata | 15 January 2017, 19:58:31 UTC | raw trees, undecided | 15 January 2017, 19:58:31 UTC |
1dc3676 | Dan Licata | 15 January 2017, 19:56:33 UTC | raw trees, undecided | 15 January 2017, 19:56:33 UTC |
69c13d3 | Dan Licata | 15 January 2017, 18:31:04 UTC | add fixing X to position equiv | 15 January 2017, 18:31:04 UTC |
126c794 | Dan Licata | 15 January 2017, 18:08:40 UTC | stuff | 15 January 2017, 18:08:40 UTC |
9afb596 | Dan Licata | 15 January 2017, 17:45:19 UTC | Merge branch 'master' of github.com:dlicata335/hott-agda | 15 January 2017, 17:45:19 UTC |
ef3e605 | emblack | 15 January 2017, 17:40:36 UTC | started a new way of defining position equivalence | 15 January 2017, 17:40:36 UTC |
bf44624 | emblack | 08 January 2017, 23:38:29 UTC | commiting some old changes to signatures file | 08 January 2017, 23:38:29 UTC |
bbe8306 | Dan Licata | 22 November 2016, 17:56:09 UTC | Merge branch 'master' of github.com:dlicata335/hott-agda | 22 November 2016, 17:56:09 UTC |
0f55bd2 | Dan Licata | 22 November 2016, 17:55:20 UTC | stuff | 22 November 2016, 17:55:20 UTC |
aa74f75 | emblack | 22 November 2016, 17:53:12 UTC | added opentruth | 22 November 2016, 17:53:12 UTC |
10eed3b | emblack | 22 November 2016, 17:51:41 UTC | added emilys versions of files | 22 November 2016, 17:51:41 UTC |
9277a98 | Dan Licata | 29 October 2016, 01:55:55 UTC | heterogeneous equality | 29 October 2016, 01:55:55 UTC |
cf8b242 | Dan Licata | 29 October 2016, 01:25:06 UTC | heterogeneous equality | 29 October 2016, 01:25:06 UTC |
c23c605 | Dan Licata | 07 September 2016, 22:19:01 UTC | stuff | 07 September 2016, 22:19:01 UTC |
03f37df | Dan Licata | 07 September 2016, 22:15:41 UTC | stuff | 07 September 2016, 22:15:41 UTC |
3f74145 | Dan Licata | 07 September 2016, 22:15:05 UTC | stuff | 07 September 2016, 22:15:05 UTC |
60786d7 | Dan Licata | 07 September 2016, 14:30:02 UTC | fix | 07 September 2016, 14:30:02 UTC |
a1f3307 | Dan Licata | 07 September 2016, 14:13:10 UTC | stuff | 07 September 2016, 14:13:10 UTC |
bb1dca0 | Dan Licata | 07 September 2016, 14:10:44 UTC | stuff | 07 September 2016, 14:10:44 UTC |
171b4fe | Dan Licata | 07 September 2016, 13:00:24 UTC | stuff | 07 September 2016, 13:00:24 UTC |
17064f1 | Dan Licata | 07 September 2016, 04:58:13 UTC | mso | 07 September 2016, 04:58:13 UTC |
bff9b28 | Dan Licata | 07 September 2016, 04:57:57 UTC | stuff | 07 September 2016, 04:57:57 UTC |
2d780ee | Dan Licata | 05 September 2016, 21:45:46 UTC | andrew | 05 September 2016, 21:45:46 UTC |
bd95d15 | Dan Licata | 01 September 2016, 01:09:11 UTC | simplex op right | 01 September 2016, 01:09:11 UTC |
4e91156 | Dan Licata | 25 August 2016, 01:49:19 UTC | wrong simplex stuff | 25 August 2016, 01:49:19 UTC |
04633e5 | Dan Licata | 25 August 2016, 01:48:03 UTC | simplex category with involutions | 25 August 2016, 01:48:03 UTC |
fb69131 | Dan Licata | 25 July 2016, 15:31:35 UTC | cleanup | 25 July 2016, 15:31:35 UTC |
f6a40ef | Dan Licata | 25 July 2016, 14:50:56 UTC | cleanup | 25 July 2016, 14:50:56 UTC |
d3aa931 | Dan Licata | 09 July 2016, 18:32:17 UTC | reflective | 09 July 2016, 18:32:17 UTC |
8b1a4cf | Dan Licata | 08 July 2016, 19:05:13 UTC | reflective subuniverses | 08 July 2016, 19:05:13 UTC |
0402178 | Dan Licata | 13 May 2016, 13:24:25 UTC | stuff | 13 May 2016, 13:24:25 UTC |
297260a | Dan Licata | 04 May 2016, 14:10:34 UTC | move | 04 May 2016, 14:10:34 UTC |
39a3025 | Dan Licata | 04 May 2016, 13:21:11 UTC | stuff | 04 May 2016, 13:21:11 UTC |
645bc1b | Dan Licata | 04 May 2016, 11:44:06 UTC | retraction of writer monad | 04 May 2016, 11:44:06 UTC |
ab40118 | Dan Licata | 03 May 2016, 03:59:36 UTC | stuff | 03 May 2016, 03:59:36 UTC |
93d0d84 | Dan Licata | 30 April 2016, 02:17:07 UTC | retraction stuff for justin's thesis | 30 April 2016, 02:17:07 UTC |
c654ff8 | Dan Licata | 29 February 2016, 19:45:25 UTC | stuff | 29 February 2016, 19:45:25 UTC |
7ec73d2 | Dan Licata | 01 February 2016, 02:00:13 UTC | substructural | 01 February 2016, 02:00:13 UTC |
2187656 | Dan Licata | 30 January 2016, 14:45:49 UTC | functor logic | 30 January 2016, 14:45:49 UTC |
f0bacc8 | Dan Licata | 20 January 2016, 18:48:45 UTC | enc-dec observation | 20 January 2016, 18:48:45 UTC |
78dfa17 | Dan Licata | 17 January 2016, 20:46:57 UTC | first cut at endgame | 17 January 2016, 20:46:57 UTC |
db7ff8b | Dan Licata | 29 October 2015, 18:59:32 UTC | stuff | 29 October 2015, 18:59:32 UTC |
4e14ea3 | Dan Licata | 24 October 2015, 03:01:13 UTC | try something | 24 October 2015, 03:01:13 UTC |
0c87486 | Dan Licata | 23 October 2015, 02:47:21 UTC | stuff | 23 October 2015, 02:47:21 UTC |
0d78520 | Dan Licata | 23 October 2015, 02:34:54 UTC | stuff | 23 October 2015, 02:34:54 UTC |
1e3c799 | Dan Licata | 23 October 2015, 01:31:53 UTC | stuff: | 23 October 2015, 01:31:53 UTC |
5f41f40 | Dan Licata | 22 October 2015, 18:45:46 UTC | need to generalize elim rule | 22 October 2015, 18:45:46 UTC |
20d294f | Dan Licata | 14 October 2015, 21:23:31 UTC | species notes | 14 October 2015, 21:23:31 UTC |
57e5520 | Dan Licata | 11 October 2015, 23:00:40 UTC | stuff | 11 October 2015, 23:00:40 UTC |
5286c42 | Dan Licata | 02 October 2015, 14:16:32 UTC | arghhh | 02 October 2015, 14:16:32 UTC |
67575c3 | Dan Licata | 02 October 2015, 00:30:31 UTC | typecase | 02 October 2015, 00:30:31 UTC |
49ec2cd | Dan Licata | 01 October 2015, 17:14:10 UTC | stuff | 01 October 2015, 17:14:10 UTC |
79d091f | Dan Licata | 01 October 2015, 17:10:37 UTC | stuff | 01 October 2015, 17:10:37 UTC |
250a6f5 | Dan Licata | 01 October 2015, 17:10:08 UTC | functor logic | 01 October 2015, 17:10:08 UTC |
c016ae3 | Dan Licata | 18 September 2015, 11:02:37 UTC | remove old version | 18 September 2015, 11:02:37 UTC |
e372f85 | Dan Licata | 13 September 2015, 15:46:02 UTC | cutfull version | 13 September 2015, 15:46:02 UTC |
c9f5f32 | Dan Licata | 13 September 2015, 02:50:51 UTC | DONE | 13 September 2015, 02:50:51 UTC |
ace8ce3 | Dan Licata | 13 September 2015, 00:40:58 UTC | stuff | 13 September 2015, 00:40:58 UTC |