Commit graph

Select branches

Hide pull requests

main

possible_template

Mono Color

• 59b2631a13
  
  Work on bisimilarity main Leon Vatthauer 2024-04-05 19:27:19 +0200
• 43ad4706b0
  
  Add second example exam Leon Vatthauer 2024-04-02 16:09:35 +0200
• 568cc110a9
  
  spelling Leon Vatthauer 2024-04-02 11:42:05 +0200
• 2eabecda8f
  
  minor Leon Vatthauer 2024-04-02 11:40:26 +0200
• cce33d138a
  
  Added example exam Leon Vatthauer 2024-04-02 10:39:33 +0200
• 78cd9676f4
  
  Work on colimits Leon Vatthauer 2024-03-31 12:54:31 +0200
• 5bae77ae05
  
  Work on initial algebra construction, rework limits Leon Vatthauer 2024-03-30 18:11:52 +0100
• 479336a7dd
  
  Work on limits Leon Vatthauer 2024-03-29 16:31:28 +0100
• 16e70f6bb2
  
  somewhat finish coalgebras Leon Vatthauer 2024-03-28 19:46:30 +0100
• 89d5719369
  
  Work on coalgebras Leon Vatthauer 2024-03-28 11:21:48 +0100
• 1317daa802
  
  Export macros to catprog.sty, work on F-algebras section Leon Vatthauer 2024-03-27 10:35:12 +0100
• 64cbc50601
  
  Finish functor section Leon Vatthauer 2024-03-26 08:09:53 +0100
• dfccca8326
  
  functors Leon Vatthauer 2024-03-25 12:02:25 +0100
• f537b830a7
  
  Work on categorical prelims, added quiver.sty Leon Vatthauer 2024-03-24 13:50:49 +0100
• 75a42e4886
  
  Introduction to categories, also some work on introduction Leon Vatthauer 2024-03-22 18:00:53 +0100
• 43cbe73359
  
  Work on data types chapter Leon Vatthauer 2024-03-22 13:39:29 +0100
• f09a92345c
  
  Update .gitattributes leonv 2024-03-20 15:51:21 +0100
• 2cd29aa858
  
  Added .gitattributes Leon Vatthauer 2024-03-20 15:47:37 +0100
• 45d193f649
  
  Update gitignore and make agda code compilable Leon Vatthauer 2024-03-20 15:45:59 +0100
• 98c38160ff
  
  Add agda code from previous repo Leon Vatthauer 2024-03-20 15:43:45 +0100
• 89923c10c2
  
  Add outline Leon Vatthauer 2024-03-20 15:41:33 +0100
• 1cae1942f3
  
  Create template possible_template Leon Vatthauer 2024-03-20 15:13:19 +0100
• 1615b0d254 Initial commit leonv 2024-03-20 14:22:22 +0100