Commit graph

Select branches

Hide pull requests

main

Abgabe

Mono Color

• 6e1633c8d9
  
  🎉🎉 Final commit, small changes after proof reading main Abgabe Leon Vatthauer 2024-03-18 11:01:54 +0100
• b48049c6e9
  
  Fix language error Leon Vatthauer 2024-03-17 15:30:23 +0100
• 8000bf9884
  
  Fix all warnings, add conclusion Leon Vatthauer 2024-03-17 15:13:11 +0100
• 6d254586e1
  
  minor Leon Vatthauer 2024-03-16 10:09:31 +0100
• 245a561038
  
  Work on introduction and the section on the formalization Leon Vatthauer 2024-03-16 10:07:36 +0100
• 75d6990bd5
  
  Finishing touches on partiality chapter Leon Vatthauer 2024-03-15 17:35:39 +0100
• f37458fe97
  
  squash warnings Leon Vatthauer 2024-03-15 10:46:00 +0100
• 2dbf69bcf6
  
  Finishing touches for iteration chapter Leon Vatthauer 2024-03-15 10:10:25 +0100
• 1a6f409cd1
  
  change file names to final chapter order, work on introduction. Leon Vatthauer 2024-03-14 17:34:50 +0100
• fe0dcc44a8
  
  Work on TODOs Leon Vatthauer 2024-03-13 13:26:38 +0100
• 50c98dc642
  
  Fix makefile Leon Vatthauer 2024-03-13 12:38:31 +0100
• 723c4b0175
  
  setoids chapter somewhat finished Leon Vatthauer 2024-03-13 07:30:02 +0100
• 2a6da1ea17
  
  First draft of setoids chapter finished Leon Vatthauer 2024-03-12 17:23:09 +0100
• 98cdfffdb9
  
  minor Leon Vatthauer 2024-03-12 16:18:07 +0100
• 32e29aedb8
  
  Work on setoids Leon Vatthauer 2024-03-12 16:17:35 +0100
• 978eb83a7f
  
  idea Leon Vatthauer 2024-03-11 18:19:30 +0100
• 5f836b4d89
  
  minor Leon Vatthauer 2024-03-11 18:15:55 +0100
• c631cf1bc3
  
  work on setoids Leon Vatthauer 2024-03-11 18:15:46 +0100
• 4e856d72f5
  
  minor Leon Vatthauer 2024-03-10 21:12:16 +0100
• 64f76f92f7
  
  minor Leon Vatthauer 2024-03-10 20:59:35 +0100
• 247896cddb
  
  Finish proofs in iteration chapter, add exponential lemma in prelims Leon Vatthauer 2024-03-10 16:29:18 +0100
• 5e3600d29c
  
  Finish proofs in chapter 4 and apply some chktex hints Leon Vatthauer 2024-03-09 10:46:41 +0100
• 75a6789d18
  
  Finish proof that K is commutative Leon Vatthauer 2024-03-08 07:33:21 +0100
• 945601470b
  
  Work on thesis Leon Vatthauer 2024-03-07 18:19:24 +0100
• 39d83c6dfe
  
  Improve proof of strength for K Leon Vatthauer 2024-03-07 11:00:04 +0100
• 69696cb76d
  
  Continue working on proofs concerning K Leon Vatthauer 2024-03-06 16:29:43 +0100
• e11960fa58
  
  change notation for anamorphisms Leon Vatthauer 2024-03-06 14:11:27 +0100
• b4cb17e52b
  
  Work on iteration chapter Leon Vatthauer 2024-03-05 18:49:45 +0100
• 58d47f7b41
  
  work on thesis Leon Vatthauer 2024-03-04 18:00:12 +0100
• 7986abb134
  
  improve proofs Leon Vatthauer 2024-03-04 17:09:22 +0100
• e6e1a9cb68
  
  Finish partiality, minor work on iteration Leon Vatthauer 2024-02-28 17:39:18 +0100
• 76c145207a
  
  work on prelims and partiality Leon Vatthauer 2024-02-27 18:57:32 +0100
• be09d767ea
  
  improve proves in delay chapter Leon Vatthauer 2024-02-26 15:06:51 +0100
• a9c587b1eb
  
  remove pyg file Leon Vatthauer 2024-02-25 21:40:54 +0100
• da4223e011
  
  Work on proofs Leon Vatthauer 2024-02-25 21:40:23 +0100
• 5f479bf4f8
  
  change notation for freeobjects and coalgebras, work on partiality chapter Leon Vatthauer 2024-02-24 13:12:32 +0100
• 65890dbffd
  
  Work on coalgebras Leon Vatthauer 2024-02-23 21:35:15 +0100
• 0eafb889a2
  
  adjunctions Leon Vatthauer 2024-02-23 20:46:47 +0100
• a1046d16e1
  
  minor Leon Vatthauer 2024-02-22 18:04:17 +0100
• 8464a80e26
  
  wording and typos Leon Vatthauer 2024-02-22 18:04:09 +0100
• 96f9bf4bb9
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2024-02-21 15:56:19 +0100
• 294392b212
  
  Add secon batch of corrections Leon Vatthauer 2024-02-21 15:56:15 +0100
• 72c790f941
  
  Add first batch of corrections Leon Vatthauer 2024-02-21 14:28:38 +0100
• a3f077bd8d
  
  Final refactor Leon Vatthauer 2024-02-20 15:09:58 +0100
• c2e6966610
  
  Continue work on refactor, almost finished Leon Vatthauer 2024-02-19 18:07:46 +0100
• adf99ef3e0
  
  major refactor to finish up Leon Vatthauer 2024-02-18 18:15:15 +0100
• ed594af9a5
  
  move helper agda files Leon Vatthauer 2024-02-15 21:52:47 +0100
• e4af840dc2
  
  some more refactor Leon Vatthauer 2024-02-15 21:51:54 +0100
• 98837f659c
  
  some refactoring, change ambient category Leon Vatthauer 2024-02-15 21:29:54 +0100
• 0f157442fe
  
  work on thesis Leon Vatthauer 2024-02-15 21:12:04 +0100
• 8caee3929a
  
  sync Leon Vatthauer 2024-02-15 16:03:26 +0100
• cc0cb9cd18
  
  Some work on thesis Leon Vatthauer 2024-02-15 13:34:44 +0100
• 031df0312d
  
  sync todays work Leon Vatthauer 2024-02-14 16:59:30 +0100
• 896dc3d296
  
  update index Leon Vatthauer 2024-02-14 12:03:47 +0100
• 041a4c1748
  
  try to fix pipeline Leon Vatthauer 2024-02-11 15:22:51 +0100
• 8b435ffad5
  
  remove html that was added by accident Leon Vatthauer 2024-02-11 13:02:04 +0100
• cae7662b76
  
  add todos Leon Vatthauer 2024-02-11 13:01:07 +0100
• 4f9eb93e1d
  
  work on iteration chapter Leon Vatthauer 2024-02-09 17:54:15 +0100
• 2bf4655eae
  
  update index Leon Vatthauer 2024-02-09 17:53:52 +0100
• 599a61d375
  
  remove old readme Leon Vatthauer 2024-02-09 13:51:08 +0100
• ac39b97ce2
  
  Added READMEs Leon Vatthauer 2024-02-09 13:49:08 +0100
• 39d3c78fcd
  
  add makefile Leon Vatthauer 2024-02-09 13:34:50 +0100
• 4ec17acaba
  
  fix makefile Leon Vatthauer 2024-02-09 13:31:06 +0100
• 205480d314
  
  some prose, remove subtitle Leon Vatthauer 2024-02-09 13:27:14 +0100
• 23d529be6d
  
  update gitignore Leon Vatthauer 2024-02-09 13:26:55 +0100
• 24a1bbee0e
  
  Proof that maybe is equational lifting Leon Vatthauer 2024-02-08 16:16:21 +0100
• acac2d6ee4
  
  add kleisli cat Leon Vatthauer 2024-02-07 16:01:21 +0100
• 54588e48e9
  
  Proof that D is commutative Leon Vatthauer 2024-02-07 13:34:17 +0100
• d6c13a88e4
  
  minor Leon Vatthauer 2024-02-06 18:23:12 +0100
• cdcf8e9fa8
  
  work on delay proofs Leon Vatthauer 2024-02-06 18:19:55 +0100
• 4d82edeab9
  
  small refactor Leon Vatthauer 2024-02-06 11:37:52 +0100
• 161ceabcda
  
  Finish proof that D~~ is instance of K on setoids. Did some refactor on StableFreeElgotAlgebras, proved that left-stable and right-stable imply each other Leon Vatthauer 2024-02-05 18:12:58 +0100
• 840e02b842
  
  work on thesis Leon Vatthauer 2024-02-05 14:04:41 +0100
• a1c37eee21
  
  Work on thesis Leon Vatthauer 2024-02-04 20:38:41 +0100
• 17c023c944
  
  refactor for exponential algebras Leon Vatthauer 2024-02-04 18:49:12 +0100
• 38c29332fc
  
  merge elgot branch (unfinished) Leon Vatthauer 2024-02-04 18:00:40 +0100
• 1f4c0da823
  
  tidy up Leon Vatthauer 2024-02-04 17:58:30 +0100
• bb49f23814
  
  Finish proof that quotient of D is freealgebra Leon Vatthauer 2024-02-04 17:55:22 +0100
• 68588c6b82
  
  update flake Leon Vatthauer 2024-02-04 17:54:49 +0100
• 32feee45e5
  
  Finished preservation proof Leon Vatthauer 2024-02-03 14:33:10 +0100
• b31d3e2540
  
  stuck on final proof for stability Leon Vatthauer 2024-02-02 17:59:59 +0100
• e5b707457c
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2024-02-02 16:03:54 +0100
• 2e28faeda6
  
  build on recent PR to agda-categories Leon Vatthauer 2024-02-02 16:03:47 +0100
• 75e61fcc33
  
  minor Leon Vatthauer 2024-02-02 12:45:17 +0100
• d90381d11a
  
  minor progress Leon Vatthauer 2024-02-01 14:00:54 +0100
• 86e45d7b71
  
  minor Leon Vatthauer 2024-02-01 12:51:13 +0100
• d3b63f632d
  
  progress on exponentials Leon Vatthauer 2024-02-01 12:14:57 +0100
• 85195b13d0
  
  refactor elgot algebras Leon Vatthauer 2024-02-01 10:29:03 +0100
• 6fbfc00267 Update README.md Leon Vatthauer 2024-01-30 16:39:37 +0000
• aea11ac62f
  
  merge Leon Vatthauer 2024-01-30 13:44:08 +0100
• 78260e3f91
  
  refactor to support newest agda-categories release Leon Vatthauer 2024-01-29 18:02:50 +0100
• 8241082f3f
  
  updated agda-cat Leon Vatthauer 2024-01-29 15:42:18 +0100
• 2dc6420a35
  
  sync Leon Vatthauer 2024-01-29 15:38:50 +0100
• f0923f1007
  
  finished congruence proof Leon Vatthauer 2024-01-29 12:52:25 +0100
• 3b78e1b199
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2024-01-28 15:07:47 +0100
• 11dd7f8f23
  
  sync Leon Vatthauer 2024-01-28 15:07:38 +0100
• 7568f60833
  
  Refactor to update library versions Leon Vatthauer 2024-01-25 13:30:41 +0100
• 6ba246ee53
  
  updated library versions Leon Vatthauer 2024-01-24 14:04:07 +0100
• ce6b129c38 Update README.md Leon Vatthauer 2024-01-23 12:29:40 +0000
• be2d12cbf1
  
  final slides Leon Vatthauer 2024-01-23 13:25:18 +0100