leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv pushed to main at CategoryTheory/agda-poset 2024-02-16 14:34:21 +01:00
d641f65615 minor
ac85887301 Proof that in tosets every monad is strong (given a terminal object)
fab399fb17 Merge branch 'main' of github.com:Reijix/agda-poset
ac004c0623 Initial commit
e1edc5ca1e Initial commit
leonv created repository CategoryTheory/agda-poset 2024-02-16 14:34:06 +01:00
leonv pushed to main at leonv/nixos 2024-02-16 14:30:36 +01:00
0b5a159623 finish migration to forgejo
1e79581442 migrate gitea to forgejo
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-02-16 14:17:13 +01:00
769fe4636e updated rebuild script
leonv pushed to main at leonv/nixos 2024-02-16 14:01:08 +01:00
442616875d added secrets submodule
leonv created branch main in leonv/nixos 2024-02-16 14:00:01 +01:00
leonv pushed to main at leonv/nixos 2024-02-16 14:00:01 +01:00
1c853edcab initial commit after purge
leonv renamed repository from nix-config to leonv/nixos 2024-02-16 13:58:14 +01:00
leonv created repository leonv/nixos 2024-02-16 13:57:28 +01:00
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-16 03:57:53 +01:00
ed594af9a5 move helper agda files
e4af840dc2 some more refactor
98837f659c some refactoring, change ambient category
0f157442fe work on thesis
Compare 4 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-15 19:47:52 +01:00
8caee3929a sync
cc0cb9cd18 Some work on thesis
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-14 19:17:51 +01:00
031df0312d sync todays work
896dc3d296 update index
Compare 2 commits »
leonv synced and deleted reference refs/tags/elgot at leonv/bsc-leon-vatthauer from mirror 2024-02-11 17:47:52 +01:00
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-11 17:47:52 +01:00
041a4c1748 try to fix pipeline
8b435ffad5 remove html that was added by accident
cae7662b76 add todos
Compare 3 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-10 00:57:55 +01:00
4f9eb93e1d work on iteration chapter
2bf4655eae update index
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-09 16:47:51 +01:00
599a61d375 remove old readme
ac39b97ce2 Added READMEs
39d3c78fcd add makefile
4ec17acaba fix makefile
205480d314 some prose, remove subtitle
Compare 6 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-08 16:17:52 +01:00
24a1bbee0e Proof that maybe is equational lifting
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-07 23:57:52 +01:00
acac2d6ee4 add kleisli cat
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-07 15:47:53 +01:00
54588e48e9 Proof that D is commutative
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-06 23:27:54 +01:00
d6c13a88e4 minor
cdcf8e9fa8 work on delay proofs
Compare 2 commits »