Commit graph

Select branches

Hide pull requests

main

Abgabe

Mono Color

• 9fa6f8e0ed
  
  small changes Leon Vatthauer 2024-01-22 17:57:12 +0100
• 2e010ba8b3
  
  minor fix Leon Vatthauer 2024-01-21 17:26:55 +0100
• 2a152eb6f4
  
  minor Leon Vatthauer 2024-01-21 17:19:14 +0100
• d351a89e35
  
  slides are in a somewhat final state Leon Vatthauer 2024-01-20 17:57:43 +0100
• 40c488ab2a
  
  Work on slides Leon Vatthauer 2024-01-19 14:04:41 +0100
• d512d341cb
  
  Work on slides Leon Vatthauer 2024-01-18 19:10:09 +0100
• 577b095325
  
  sync Leon Vatthauer 2024-01-16 10:07:01 +0100
• 02c6307e17
  
  Work on slides Leon Vatthauer 2024-01-15 14:08:42 +0100
• 985cbefd63
  
  work on slides Leon Vatthauer 2024-01-14 18:12:29 +0100
• 5557dd1d6a
  
  changed definition Leon Vatthauer 2024-01-14 12:48:54 +0100
• 291b33abbe
  
  some renaming and new definitions Leon Vatthauer 2024-01-14 12:20:49 +0100
• 2cc26eeb9a
  
  cleanup and add uniformity proof Leon Vatthauer 2024-01-13 19:39:16 +0100
• a90a5df672
  
  sync Leon Vatthauer 2024-01-12 17:36:59 +0100
• 09fc7f8fa9 Update .gitlab-ci.yml Leon Vatthauer 2024-01-11 14:22:42 +0000
• 93db0cb6dc
  
  try to reintroduce CI Leon Vatthauer 2024-01-11 13:44:49 +0100
• 4d8bb098af
  
  update code examples Leon Vatthauer 2024-01-11 13:42:27 +0100
• 7f3330f45c
  
  Work on slides Leon Vatthauer 2024-01-11 13:38:32 +0100
• 202d130d33
  
  Finish subproof Leon Vatthauer 2024-01-10 17:46:55 +0100
• a6fd66ef29
  
  sync Leon Vatthauer 2024-01-09 15:49:15 +0100
• 9beebd009d
  
  Some progress Leon Vatthauer 2024-01-09 13:34:53 +0100
• 3679811f2c
  
  Update .gitlab-ci.yml Leon Vatthauer 2024-01-08 17:07:05 +0000
• e6794416ca Update .gitlab-ci.yml Leon Vatthauer 2024-01-08 17:06:00 +0000
• 12de9d42d6
  
  work on thesis Leon Vatthauer 2024-01-08 18:04:14 +0100
• 8e6e1d01cd
  
  minor and add sergeys suggestion Leon Vatthauer 2024-01-08 12:57:33 +0100
• 4aaf6ff164
  
  minor Leon Vatthauer 2024-01-07 18:09:45 +0100
• 45d281fc5a
  
  fixed definition of iter Leon Vatthauer 2024-01-07 15:55:54 +0100
• f56bd7f1aa
  
  styling Leon Vatthauer 2024-01-06 15:04:04 +0100
• f93083706b
  
  progress Leon Vatthauer 2024-01-05 18:56:30 +0100
• 32c479a027
  
  Finish delayMonad proofs without musical notation Leon Vatthauer 2024-01-05 17:51:20 +0100
• 197d036d42
  
  Work on Delay Monad without musical notation Leon Vatthauer 2024-01-04 18:01:17 +0100
• 2d2d26795b
  
  work on slides Leon Vatthauer 2024-01-03 19:51:04 +0100
• fd7b498554
  
  sync Leon Vatthauer 2024-01-03 14:41:35 +0100
• 4d24b1d0e5
  
  minor comments (+ fix makefile) Leon Vatthauer 2023-12-22 19:41:00 +0100
• f5ae9924eb
  
  continue refactor Leon Vatthauer 2023-12-22 17:54:11 +0100
• 395f548334
  
  ♻ major refactor of example Leon Vatthauer 2023-12-21 14:22:18 +0100
• 7265de98d0
  
  sync Leon Vatthauer 2023-12-21 10:38:49 +0100
• 327c333293
  
  minor Leon Vatthauer 2023-12-20 18:14:54 +0100
• d35498e1fa
  
  minor Leon Vatthauer 2023-12-20 18:08:35 +0100
• 59b105823f
  
  minor refactor Leon Vatthauer 2023-12-19 16:01:18 +0100
• b5fa52885c
  
  add slides to CI| Leon Vatthauer 2023-12-19 14:16:07 +0100
• c848184732
  
  minor Leon Vatthauer 2023-12-17 20:08:26 +0100
• c7fb7dc6b3
  
  work on thesis Leon Vatthauer 2023-12-16 18:08:57 +0100
• 902a66ece1
  
  Work on thesis Leon Vatthauer 2023-12-15 19:08:05 +0100
• 6f616f58f5
  
  re-add IsFreeObject, work on proof that delay is freeelgot Leon Vatthauer 2023-12-15 18:05:58 +0100
• 5f1ab060bb
  
  Work on example Leon Vatthauer 2023-12-14 19:11:20 +0100
• ce13e19d1a
  
  Added slides template Leon Vatthauer 2023-12-14 14:54:23 +0100
• 7bd77a4f47
  
  Progress on proof that delay is preElgot Leon Vatthauer 2023-12-14 14:40:38 +0100
• 17ecc55223
  
  Work on delay monad Leon Vatthauer 2023-12-13 20:53:33 +0100
• 4c3f3923a1
  
  work on delayh Leon Vatthauer 2023-12-08 22:03:23 +0100
• 7ec344dfeb
  
  minor Leon Vatthauer 2023-12-07 18:54:15 +0100
• 59f60810e7
  
  minor Leon Vatthauer 2023-12-06 09:16:10 +0100
• 64c4a4263d
  
  Work on delay example Leon Vatthauer 2023-12-05 20:52:53 +0100
• be0971ae42
  
  Fixed folder structure Leon Vatthauer 2023-12-05 18:07:06 +0100
• b8fc65491c
  
  add CI for tex Leon Vatthauer 2023-12-05 11:57:16 +0100
• 8c5bb0d77e
  
  Fix makefile Leon Vatthauer 2023-12-05 11:51:08 +0100
• c97a981b25
  
  Added thesis, changed folder structure Leon Vatthauer 2023-12-05 11:34:05 +0100
• 08dfc41178
  
  Work on delay example Leon Vatthauer 2023-12-04 15:53:57 +0100
• d299a7d09a
  
  Work on delay example Leon Vatthauer 2023-12-04 12:10:22 +0100
• 1e7e156f0b
  
  work on delay example Leon Vatthauer 2023-12-03 22:12:53 +0100
• d0e11e8142
  
  work on examples Leon Vatthauer 2023-12-01 20:46:12 +0100
• 1a4b9135fc
  
  ✨ Show that Setoids is an instance of our ambient category Leon Vatthauer 2023-12-01 18:56:07 +0100
• a0ba49ff2e
  
  Updated structure Leon Vatthauer 2023-12-01 17:15:38 +0100
• b63d5455be
  
  Work on maybe Leon Vatthauer 2023-12-01 15:34:21 +0100
• 7be2f41196
  
  minor Leon Vatthauer 2023-12-01 14:46:36 +0100
• 11107c67b8
  
  Work on maybe monad Leon Vatthauer 2023-11-30 17:50:57 +0100
• 7cf428e05c
  
  minor Leon Vatthauer 2023-11-30 16:40:30 +0100
• af3b6ee7c3
  
  Work on maybe monad Leon Vatthauer 2023-11-30 13:16:10 +0100
• fae9a310a4
  
  ✨ Finish proof of #-Diamond Leon Vatthauer 2023-11-30 13:15:50 +0100
• ac3b80c4f6
  
  align Leon Vatthauer 2023-11-30 10:41:02 +0100
• 2f4441a2ae
  
  minor Leon Vatthauer 2023-11-30 10:32:43 +0100
• b2eb9119ae
  
  ✨ Finished proof of commutativity (preconditions missing) Leon Vatthauer 2023-11-29 19:53:11 +0100
• 34c5a62d09
  
  Work on commutativity Leon Vatthauer 2023-11-28 19:33:20 +0100
• 82cd7c9aa6
  
  work on commutativity Leon Vatthauer 2023-11-28 15:07:40 +0100
• 8d2195d780
  
  Progress on proofs Leon Vatthauer 2023-11-27 16:40:22 +0100
• 9437ad8e7c
  
  Progress on commutativity Leon Vatthauer 2023-11-24 17:58:12 +0100
• c7f9ccf05a
  
  work on proof Leon Vatthauer 2023-11-24 09:02:03 +0100
• 000d958aab
  
  minor Leon Vatthauer 2023-11-24 08:30:53 +0100
• 3e4ecb3dfb
  
  work on proofs Leon Vatthauer 2023-11-22 21:51:59 +0100
• 96aa6b8994
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-11-22 19:31:08 +0100
• 2317c6b30d
  
  minor Leon Vatthauer 2023-11-22 09:58:20 +0100
• bb2e7c5061
  
  Work on commutativity Leon Vatthauer 2023-11-22 09:44:20 +0100
• bfb437ea36
  
  fix makefile Leon Vatthauer 2023-11-22 08:59:46 +0100
• fa5c81f587
  
  ♻️ Major refactor, K is defined by free elgot algebras now Leon Vatthauer 2023-11-22 08:48:53 +0100
• eabc93af77
  
  align proofs Leon Vatthauer 2023-11-21 16:58:46 +0100
• aaa48e4240
  
  update index Leon Vatthauer 2023-11-20 11:41:57 +0100
• b74ecf373c
  
  align proofs Leon Vatthauer 2023-11-20 11:40:04 +0100
• df288fccec
  
  ✨ Proof that K is initial strong pre-Elgot Leon Vatthauer 2023-11-20 11:38:33 +0100
• d3712d4abd
  
  Add category of strong pre elgot monads Leon Vatthauer 2023-11-20 10:34:52 +0100
• d762e280ad
  
  fix imports Leon Vatthauer 2023-11-20 09:25:52 +0100
• 1f4e5460d7
  
  show that K is strong pre-Elgot Leon Vatthauer 2023-11-18 12:27:53 +0100
• 7b39c02b12
  
  🎨 Some more cleanup Leon Vatthauer 2023-11-18 11:49:19 +0100
• 50fee48b17
  
  🎨 Cleanup and fix constraints. Leon Vatthauer 2023-11-18 11:44:56 +0100
• 55dcf598fc
  
  Show that K is initial pre-Elgot Leon Vatthauer 2023-11-15 19:25:35 +0100
• 60f60ce3bf
  
  Work on initial pre-Elgot Leon Vatthauer 2023-11-15 16:00:08 +0100
• 08cf9b6f61
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-11-15 14:37:44 +0100
• 0e89d52460
  
  minor Leon Vatthauer 2023-11-15 14:37:28 +0100
• bac3d12e52
  
  Add category of pre-Elgot monads Leon Vatthauer 2023-11-15 14:34:30 +0100
• 344e08fc53
  
  PreElgotMonads Leon Vatthauer 2023-11-15 13:55:29 +0100
• a877cd3f25
  
  Proof that KX is freeElgot (still assuming compositionality) Leon Vatthauer 2023-11-15 09:41:27 +0100
• 13450c1d23
  
  Show that K is PreElgot Leon Vatthauer 2023-11-14 20:23:32 +0100