leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-22 02:44:42 +02:00
7c5dccc0ab Worked on strength of delay
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-16 00:04:42 +02:00
6ce2526b6a Add CSS, small fixes, rewrite delay monad documentation
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-12 22:44:48 +02:00
7f3351dd6c Add search-algebras, start work on elgot-algebra properties
481e1011e5 🔨 refactor folder structure, define ambient category and use throughout
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-11 22:24:45 +02:00
230b34da49 use coproduct functor from library, minor changes
34ba57b6ef Added documentation and adjusted makefile
58bab7cbf4 🎉 Finished proof that delay is a monad
6978b3098b Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer
ecde03dadc Added iota to delay
Compare 5 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-11 14:24:16 +02:00
7397991ac7 Update README.md
0b8d982a46 Delete .gitlab-ci.yml
49e4a0b75b Add hosting command to makefile and remove public dir
Compare 3 commits »
leonv pushed to main at Teaching/ThProg-SS23 2023-07-03 09:53:50 +02:00
ef90555a1d Fixed typos
leonv pushed to main at Teaching/ThProg-SS23 2023-07-02 18:13:37 +02:00
3fa889d223 Added slides10
leonv pushed to main at Teaching/ThProg-SS23 2023-07-02 18:12:56 +02:00
727eb4b7a1 Added slides10
leonv pushed to main at Teaching/ThProg-SS23 2023-06-26 10:20:06 +02:00
e5cc70baee finished ue09
leonv pushed to main at Teaching/ThProg-SS23 2023-06-24 15:04:44 +02:00
dd2bb7d142 Working on ueb09
leonv pushed to main at Teaching/ThProg-SS23 2023-06-19 12:17:24 +02:00
dc416791a3 uebung 08 final
leonv pushed to main at Teaching/ThProg-SS23 2023-06-16 13:56:58 +02:00
afecdc3d44 Working on slides08
leonv pushed to main at TypeTheory/typed-lambda 2023-06-15 18:02:35 +02:00
2974c046b9 Restructured
leonv created branch main in TypeTheory/typed-lambda 2023-06-15 17:59:28 +02:00
leonv pushed to main at TypeTheory/typed-lambda 2023-06-15 17:59:28 +02:00
02d2cd82ac Update README.md
f418e8617e Create README.md
692d839c34 redacted prelude solutions
leonv created repository TypeTheory/typed-lambda 2023-06-15 17:53:06 +02:00
leonv transferred repository leonv/lambda to TypeTheory/lambda 2023-06-14 14:47:32 +02:00
leonv pushed to main at TypeTheory/resolution 2023-06-11 17:11:22 +02:00
217d29635e Implemented resolution on propositional logic
leonv created branch main in TypeTheory/type-inference 2023-06-11 14:25:28 +02:00
leonv pushed to main at TypeTheory/type-inference 2023-06-11 14:25:28 +02:00
e54697f0f4 Implemented the hindley-milner algorithm for STLC