Commits · 616e0df6403ff429d8879c7efddbe8e934de1b3c · Filip Kučerák / xlogin

May 29, 2022
- add bell · 616e0df6
  Filip Kučerák authored May 29, 2022
  
  616e0df6
May 27, 2022
- cats seminar final week · e1348559
  Filip Kučerák authored May 27, 2022
  
  e1348559
May 26, 2022
- Add some descriptions, testing spool integration, add keys, index.css · 9c9ab162
  Filip Kučerák authored May 26, 2022
  
  9c9ab162
- Add comments to gibfile · 96a9d664
  Filip Kučerák authored May 26, 2022
  
  96a9d664
May 25, 2022
- add nochange to mkdir · 1c79cfd3
  Filip Kučerák authored May 25, 2022
  
  1c79cfd3
- fix quotes in css · a1c197ad
  Filip Kučerák authored May 25, 2022
  
  a1c197ad
- removing makefile · 3072c977
  Filip Kučerák authored May 25, 2022
  
  3072c977
- moving to gib · 39423549
  Filip Kučerák authored May 25, 2022
  
  39423549
May 12, 2022
- add algo · bb5e3c40
  Filip Kučerák authored May 12, 2022
  
  bb5e3c40
May 10, 2022
- add seminar 9 info · c1233fe6
  Filip Kučerák authored May 10, 2022
  
  c1233fe6
May 07, 2022
- semester conclusion · 01e0d15a
  Filip Kučerák authored May 07, 2022
  
  01e0d15a
May 03, 2022
- add low-level · 6a28a5f7
  Filip Kučerák authored May 03, 2022
  
  6a28a5f7
Apr 26, 2022
- add exerciss for comonads · 16fa00f5
  Filip Kučerák authored Apr 26, 2022
  
  16fa00f5
- Add exercises for comonads · 1c82aa83
  Filip Kučerák authored Apr 26, 2022
  
  1c82aa83
Apr 22, 2022
- remove algo · 68fd2fa6
  Filip Kučerák authored Apr 22, 2022
  
  68fd2fa6
Apr 18, 2022
- Add monads · 2ad874ef
  Filip Kučerák authored Apr 18, 2022
  
  2ad874ef
Apr 07, 2022
- Change hint name to solution · a2f32735
  Filip Kučerák authored Apr 07, 2022
  
  a2f32735
- Fix adjunctions exercise \times · 2f405a0e
  Filip Kučerák authored Apr 07, 2022
  
  2f405a0e
- Add adjunctions · a7a4f0d3
  Filip Kučerák authored Apr 07, 2022
  
  a7a4f0d3
Mar 31, 2022
- Move NULL to init · 3041d604
  Filip Kučerák authored Mar 31, 2022
  
  3041d604
- code style · dbb61a82
  Filip Kučerák authored Mar 31, 2022
  
  dbb61a82
- Mistakes in lowlevel · 27240b4f
  Filip Kučerák authored Mar 31, 2022
  
  27240b4f
Mar 30, 2022
- Fix rozdavek link · 5081deec
  Filip Kučerák authored Mar 30, 2022
  
  5081deec
Mar 29, 2022
- Add ccc · 0c3f2f05
  Filip Kučerák authored Mar 29, 2022
  
  0c3f2f05
- Add lowlevel programming · 864c030e
  Filip Kučerák authored Mar 29, 2022
  
  864c030e
Mar 28, 2022
- Add fifth week · 947e2a7d
  Filip Kučerák authored Mar 28, 2022
  
  947e2a7d
Mar 19, 2022
- Add Emily · 06125554
  Filip Kučerák authored Mar 19, 2022
  
  06125554
Mar 18, 2022
- sth sth spelling sth sth · c0ba0fd3
  Filip Kučerák authored Mar 18, 2022
  
  c0ba0fd3
- Add Monad definition · de54e871
  Filip Kučerák authored Mar 18, 2022
  
  de54e871
- Change the room · b621ec87
  Filip Kučerák authored Mar 18, 2022
  
  b621ec87
- Add notes for fourth lecture · b8981dc7
  Filip Kučerák authored Mar 18, 2022
  
  b8981dc7
Mar 16, 2022
- Fix typos, add Vitek's exercise · 4bca81ff
  Filip Kučerák authored Mar 16, 2022
  
  4bca81ff
Mar 14, 2022
- fix page titles · 3846617d
  Filip Kučerák authored Mar 14, 2022
  
  3846617d
- Fix svg building · aa62262f
  Filip Kučerák authored Mar 14, 2022
  
  aa62262f
- Change readme · 3588946c
  Filip Kučerák authored Mar 14, 2022
  
  3588946c
- Remove makefile from kocicky · c0ad105d
  Filip Kučerák authored Mar 14, 2022
  
  c0ad105d
- Fix tikz, add exercises to kocicky · c06eae89
  Filip Kučerák authored Mar 14, 2022
  
  c06eae89
- update gitignore · 2d2a5b5c
  Filip Kučerák authored Mar 14, 2022
  
  2d2a5b5c
- remove temp folder · 6f13dc73
  Filip Kučerák authored Mar 14, 2022
  
  6f13dc73
- add roots · f9664164
  Filip Kučerák authored Mar 14, 2022
  
  f9664164