leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv pushed to main at CategoryTheory/algprog 2024-03-30 18:11:55 +01:00
5bae77ae05 Work on initial algebra construction, rework limits
leonv pushed to main at CategoryTheory/algprog 2024-03-29 16:31:33 +01:00
479336a7dd Work on limits
leonv pushed to main at CategoryTheory/algprog 2024-03-28 19:46:35 +01:00
16e70f6bb2 somewhat finish coalgebras
leonv pushed to main at CategoryTheory/algprog 2024-03-28 11:21:55 +01:00
89d5719369 Work on coalgebras
leonv pushed to main at CategoryTheory/algprog 2024-03-27 10:35:29 +01:00
1317daa802 Export macros to catprog.sty, work on F-algebras section
leonv pushed to main at leonv/nixos 2024-03-27 07:06:06 +01:00
20e0792b92 add shell aliases
9f71386f7f align yuck
Compare 2 commits »
leonv pushed to main at CategoryTheory/algprog 2024-03-26 08:10:17 +01:00
64cbc50601 Finish functor section
leonv pushed to main at CategoryTheory/algprog 2024-03-25 12:02:31 +01:00
dfccca8326 functors
leonv pushed to main at leonv/nixos 2024-03-25 09:57:15 +01:00
e79e9fca82 minor cache change
cf33882b00 flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-03-25 08:59:13 +01:00
20b514eab9 Merge branch 'main' of git.vatthauer.xyz:leonv/nixos
d0c3b2d026 Replace rofi with wofi
Compare 2 commits »
leonv pushed to main at CategoryTheory/algprog 2024-03-24 13:50:53 +01:00
f537b830a7 Work on categorical prelims, added quiver.sty
leonv pushed to main at CategoryTheory/algprog 2024-03-22 18:00:57 +01:00
75a42e4886 Introduction to categories, also some work on introduction
leonv pushed to main at CategoryTheory/algprog 2024-03-22 13:39:33 +01:00
43cbe73359 Work on data types chapter
leonv pushed to main at leonv/Sudoku 2024-03-21 17:27:29 +01:00
42b22b91ca Candidate lists now working properly
leonv pushed to main at leonv/Sudoku 2024-03-21 14:01:55 +01:00
3726f77f0a Fix folder structure
leonv pushed to main at leonv/Sudoku 2024-03-21 14:01:18 +01:00
62086e4812 Fix folder structure
f984f716ea nixify
ff98f421d2 Add cabal, work on types
Compare 3 commits »
leonv created repository leonv/Sudoku 2024-03-21 10:18:48 +01:00
leonv pushed to main at leonv/nixos 2024-03-21 08:28:01 +01:00
d60f3b50d7 undo changes to repair forgejo
leonv pushed to main at leonv/nixos 2024-03-20 16:21:50 +01:00
aae238f2bb Pin willem to 23.11
b0f696ca7f flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-03-20 16:12:48 +01:00
1210e449db minor
0461f6bd02 flake.lock: Update
Compare 2 commits »