Commit graph

Select branches

Hide pull requests

dev

0.0.1

1.0.0

1.0.1

1.1.0

1.2.0

1.3.0

1.4.0

1.4.1

1.5.0

1.6.0

Mono Color

• e7f5648607 Disable cube dev Frederik Hanghøj Iversen 2018-10-30 14:37:15 +0100
• 95a8e82d40 Update agda-stdlib to newer version Frederik Hanghøj Iversen 2018-10-30 14:28:09 +0100
• 8f15001a93 Use smaller symbols for arrows in presentation Frederik Hanghøj Iversen 2018-10-29 12:39:12 +0100
• c5020a0d87 Add Chalmers logo to front page Frederik Hanghøj Iversen 2018-09-11 15:16:14 +0200
• d7a07da07b Update to most recent version of stdlib Frederik Hanghøj Iversen 2018-08-04 13:46:59 +0200
• 7836367f4a Use HEAD version of cubical and stdlib Frederik Hanghøj Iversen 2018-07-19 20:22:17 +0200
• e16a4b8189 isEquiv is now a record Andrea Vezzosi 2018-06-15 10:02:46 +0200
• 9ee05e1a36 Universally quantify test object in epi- mono- morphism Frederik Hanghøj Iversen 2018-07-17 17:02:39 +0200
• 188bba6c8d Old unstaged changes Frederik Hanghøj Iversen 2018-07-17 16:51:16 +0200
• 6f275247dd Final presentation Frederik Hanghøj Iversen 2018-06-07 15:20:14 +0200
• 5a748c57f0 Update RAEDME Frederik Hanghøj Iversen 2018-05-31 02:12:45 +0200
• c784723184 Insert link to pre-compiled pdf Frederik Hanghøj Iversen 2018-05-31 02:09:46 +0200
• 93871358a3 Update README Frederik Hanghøj Iversen 2018-05-31 02:05:56 +0200
• 66e5f46912 Untabify readme Frederik Hanghøj Iversen 2018-05-31 02:00:29 +0200
• 9497a650ea Test with master Agda version 2.6.0-d3efe64 Frederik Hanghøj Iversen 2018-05-31 01:56:44 +0200
• 33f7e2ebbb Merge branch 'dev' Frederik Hanghøj Iversen 2018-05-31 01:07:31 +0200
• 27ae920634 Fixup some missing files Frederik Hanghøj Iversen 2018-05-31 01:07:05 +0200
• 08046d05dc Update makefile Frederik Hanghøj Iversen 2018-05-29 15:35:20 +0200
• 98cad057d5 Merge branch 'dev' 1.6.0 Frederik Hanghøj Iversen 2018-05-29 15:26:38 +0200
• 49f1262b2c Update change log Frederik Hanghøj Iversen 2018-05-29 15:24:18 +0200
• 6d362af88e Add type-synonym Frederik Hanghøj Iversen 2018-05-29 15:14:46 +0200
• 392d656709 Move included graphics Frederik Hanghøj Iversen 2018-05-29 15:14:27 +0200
• 37a675a84f Final touch-up on report and acknowledgments Frederik Hanghøj Iversen 2018-05-29 15:09:38 +0200
• b992d5a7f2 Use unicode symbols Frederik Hanghøj Iversen 2018-05-28 17:42:00 +0200
• 1f750e2275 Erratta Frederik Hanghøj Iversen 2018-05-28 17:32:56 +0200
• 636b5f3e27 Makefile uses included libraries Frederik Hanghøj Iversen 2018-05-26 01:15:57 +0200
• 326951d826 Put in brackets for readability Frederik Hanghøj Iversen 2018-05-24 15:57:30 +0200
• 2d0dfab12a Remove some TODO-notes, add section on motifs Frederik Hanghøj Iversen 2018-05-23 18:28:27 +0200
• fc7e504359 Correctly terminate appendix section Frederik Hanghøj Iversen 2018-05-23 17:49:54 +0200
• 251fcf1966 Add backlog based on comments from Andrea, implement some of them Frederik Hanghøj Iversen 2018-05-23 17:34:50 +0200
• 879f5bab52 Use fromIsomorphism globally Frederik Hanghøj Iversen 2018-05-22 18:01:03 +0200
• 9848fac672 Provide grpdSig Frederik Hanghøj Iversen 2018-05-22 16:31:26 +0200
• cb0117819b Monoidal monads are also groupoids Frederik Hanghøj Iversen 2018-05-22 16:28:23 +0200
• b116247702 Kleisli monads are groupoids Frederik Hanghøj Iversen 2018-05-22 16:18:22 +0200
• e7f40eed8a Scaffolding for proving groupoid for monads Frederik Hanghøj Iversen 2018-05-22 15:35:21 +0200
• 1f2b105f9d Provide grpdPiImpl Frederik Hanghøj Iversen 2018-05-22 14:39:42 +0200
• 1683178f1c Ignore index-files Frederik Hanghøj Iversen 2018-05-22 13:48:30 +0200
• 01159930de Add section on functors and natural transformations Frederik Hanghøj Iversen 2018-05-22 13:45:52 +0200
• 2fce963072 TENTATIVE COMMIT Frederik Hanghøj Iversen 2018-05-18 13:14:41 +0200
• d4dc125fb0 Merge remote-tracking branch 'Saizan/benchmark' into dev Frederik Hanghøj Iversen 2018-05-16 11:38:12 +0200
• 1c0b0d9db2 Small changes Frederik Hanghøj Iversen 2018-05-16 11:36:26 +0200
• 4073d70189 Add note about constructive intepretation of univalence Frederik Hanghøj Iversen 2018-05-16 11:03:34 +0200
• be88602d24 Fix spacing after 'e.g.' and 'i.e.' Frederik Hanghøj Iversen 2018-05-16 11:01:07 +0200
• 47c881ba2a Voe: gone back to equational reasoning, as it's fairly cheap now. Andrea Vezzosi 2018-05-16 10:50:56 +0200
• 9f7a13b5da no-eta-equality for monads speeds up Voevodsky Andrea Vezzosi 2018-05-16 10:41:41 +0200
• d33c814e78 Add introduction Frederik Hanghøj Iversen 2018-05-15 18:34:25 +0200
• c75a1d5d8b commented out code with holes Andrea Vezzosi 2018-05-15 17:21:57 +0200
• 8a0ea9f4a5 Use darkorange for all bordercolors Frederik Hanghøj Iversen 2018-05-15 17:11:01 +0200
• 21363dbb78 Move opposite- and span- category to own modules Frederik Hanghøj Iversen 2018-05-15 16:28:04 +0200
• aced19e990 Various changes proposed by Andreas Frederik Hanghøj Iversen 2018-05-15 16:08:29 +0200
• 4d73514ab5 Use long name Frederik Hanghøj Iversen 2018-05-11 13:20:03 +0200
• 30cf0bb765 Add additional example of pathJ Frederik Hanghøj Iversen 2018-05-11 13:07:47 +0200
• 058f3c15a8 Provide example of using pathJ Frederik Hanghøj Iversen 2018-05-10 15:28:33 +0200
• 513d91ae4f Merge branch 'dev' Frederik Hanghøj Iversen 2018-05-10 14:29:41 +0200
• 3574ebc323 Add abstract Frederik Hanghøj Iversen 2018-05-10 14:26:56 +0200
• 3d618c001b Layout headache Frederik Hanghøj Iversen 2018-05-10 14:10:11 +0200
• ac6e838e48 Move package config to packages.tex Frederik Hanghøj Iversen 2018-05-10 13:09:25 +0200
• 00df3ccb45 Add conclusion Frederik Hanghøj Iversen 2018-05-10 12:40:39 +0200
• 258aa3d0e4 Write conclusion Frederik Hanghøj Iversen 2018-05-10 12:19:44 +0200
• 616d85351a Remove all my beloved contractions :( Frederik Hanghøj Iversen 2018-05-09 18:47:12 +0200
• 34798632f2 Fix its it's mistakes Frederik Hanghøj Iversen 2018-05-09 18:34:05 +0200
• bc8309c0cd Only index some things, change crossref to citation Frederik Hanghøj Iversen 2018-05-09 18:29:44 +0200
• d8f1aabed5 Expand gitignore Frederik Hanghøj Iversen 2018-05-09 18:25:01 +0200
• 9842c66eea Use macros extensively Frederik Hanghøj Iversen 2018-05-09 18:24:07 +0200
• 179570edf0 Changes based on Pierre's suggestions Frederik Hanghøj Iversen 2018-05-09 18:13:36 +0200
• 2b0dfe4984 Change titlepage Frederik Hanghøj Iversen 2018-05-09 12:33:58 +0200
• 2e11a2390f Shorten link Frederik Hanghøj Iversen 2018-05-08 23:05:45 +0200
• ae9a0b3de7 Encourage people to read my report Frederik Hanghøj Iversen 2018-05-08 22:46:17 +0200
• 655c12720a Remove obsolete comment Frederik Hanghøj Iversen 2018-05-08 18:48:26 +0200
• a5571de191 Document version numbers Frederik Hanghøj Iversen 2018-05-08 18:45:36 +0200
• a181cfb63e Merge branch 'dev' 1.5.0 Frederik Hanghøj Iversen 2018-05-08 18:35:45 +0200
• d1981ec0fa Update CHANGELOG and remove --allow-unsolved-metas pragma Frederik Hanghøj Iversen 2018-05-08 18:34:12 +0200
• 32e7290fe9 Prove missing link for univalence via new branch of cubical Frederik Hanghøj Iversen 2018-05-08 18:01:34 +0200
• e5d55c7b2b Include appendices Frederik Hanghøj Iversen 2018-05-08 16:22:51 +0200
• 4e7506f06a Decrease line-width Frederik Hanghøj Iversen 2018-05-08 14:50:45 +0200
• 10c3c36305 Fix typos Frederik Hanghøj Iversen 2018-05-08 02:02:13 +0200
• 6a3e7390d7 Do not use colon directly for typing judgments Frederik Hanghøj Iversen 2018-05-08 02:01:17 +0200
• e18730e0e5 Remove tex warnings Frederik Hanghøj Iversen 2018-05-08 02:00:23 +0200
• 7faf0961c5 Fix spelling mistakes Frederik Hanghøj Iversen 2018-05-08 00:25:34 +0200
• 0db4e97511 Do not use wishlist Frederik Hanghøj Iversen 2018-05-07 14:39:50 +0200
• d5a4550ca9 Always use brackets in subscript Frederik Hanghøj Iversen 2018-05-07 10:53:22 +0200
• 4070e702d7 Various changes Frederik Hanghøj Iversen 2018-05-07 10:13:13 +0200
• 29c4c4a3b9 Equality principle for isomorphisms Frederik Hanghøj Iversen 2018-05-07 10:12:11 +0200
• 545fb0ade6 Corrections Frederik Hanghøj Iversen 2018-05-03 14:18:51 +0200
• 2b4ee12ef2 Add chapter on cubical Frederik Hanghøj Iversen 2018-05-02 17:02:46 +0200
• 852eb0757f Use noto on title-page Frederik Hanghøj Iversen 2018-05-02 13:24:01 +0200
• e8b7a7f17c Use light variant of source code pro Frederik Hanghøj Iversen 2018-05-02 13:13:09 +0200
• ee41ae3740 Include picture Frederik Hanghøj Iversen 2018-05-02 12:16:58 +0200
• e89021bc15 Add frontmatter Frederik Hanghøj Iversen 2018-05-01 21:26:20 +0200
• 4b9fe0f5bb Merge remote-tracking branch 'Saizan/dev' into dev Frederik Hanghøj Iversen 2018-05-01 19:00:04 +0200
• ef90abb7e3 Finish section on propositionality of products and start on monads Frederik Hanghøj Iversen 2018-05-01 18:55:28 +0200
• 7cbaf996f1 Use implicit arguments for fun and profit Frederik Hanghøj Iversen 2018-05-01 18:54:08 +0200
• 4d27bbb401 Use non-bold mathcal Frederik Hanghøj Iversen 2018-05-01 11:41:45 +0200
• e3eca8d90a Prove other identity-law for monads Frederik Hanghøj Iversen 2018-05-01 11:33:12 +0200
• d726159fa0 Stuff about product-category Frederik Hanghøj Iversen 2018-04-26 10:22:15 +0200
• 45eafe683f Simplify Frederik Hanghøj Iversen 2018-04-26 10:20:57 +0200
• 9a8b09e15f Change title-page, write stuff about products Frederik Hanghøj Iversen 2018-04-25 08:21:45 +0200
• 6b6e6672e0 Rename variable Frederik Hanghøj Iversen 2018-04-25 08:19:36 +0200
• 129eef1150 Finish section on category of sets Frederik Hanghøj Iversen 2018-04-24 14:11:22 +0200
• f6cf051519 Section about univalence and equivalences Frederik Hanghøj Iversen 2018-04-23 17:06:09 +0200