leonv

0 followers · 0 following

• Joined on 2023-05-31

Repositories

14

Projects Packages Public activity Starred repositories

leonv transferred repository leonv/agda-poset to CategoryTheory/agda-poset 2024-03-20 16:06:58 +01:00

leonv transferred repository leonv/agda-monads to CategoryTheory/agda-monads 2024-03-20 16:06:43 +01:00

leonv transferred repository leonv/agda-kleisli to CategoryTheory/agda-kleisli 2024-03-20 16:06:29 +01:00

leonv transferred repository leonv/algprog to CategoryTheory/algprog 2024-03-20 16:03:08 +01:00

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:52:48 +01:00

f09a92345c Update .gitattributes

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:51:23 +01:00

1fec752560 Update .gitattributes

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:50:49 +01:00

2cd29aa858 Added .gitattributes

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:48:44 +01:00

e22ac428e2 Added .gitattributes

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:47:41 +01:00

1592bc5857 Added .gitattributes

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:46:04 +01:00

45d193f649 Update gitignore and make agda code compilable

leonv pushed to main at CategoryTheory/algprog 2024-03-20 15:43:49 +01:00

98c38160ff Add agda code from previous repo

89923c10c2 Add outline

1cae1942f3 Create template

Compare 3 commits »

leonv pushed tag possible_template to CategoryTheory/algprog 2024-03-20 15:13:49 +01:00

leonv created repository CategoryTheory/algprog 2024-03-20 14:22:23 +01:00

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-18 11:08:30 +01:00

6e1633c8d9 🎉🎉 Final commit, small changes after proof reading

leonv synced commits to refs/tags/Abgabe at leonv/bsc-leon-vatthauer from mirror 2024-03-18 11:08:30 +01:00

leonv synced new reference refs/tags/Abgabe to leonv/bsc-leon-vatthauer from mirror 2024-03-18 11:08:30 +01:00

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-17 18:48:30 +01:00

b48049c6e9 Fix language error

8000bf9884 Fix all warnings, add conclusion

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-16 18:18:31 +01:00

6d254586e1 minor

245a561038 Work on introduction and the section on the formalization

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-15 17:48:29 +01:00

75d6990bd5 Finishing touches on partiality chapter

f37458fe97 squash warnings

2dbf69bcf6 Finishing touches for iteration chapter

Compare 3 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-15 01:28:32 +01:00

1a6f409cd1 change file names to final chapter order, work on introduction.