leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv created repository TypeTheory/type-inference 2023-06-11 14:25:20 +02:00
leonv transferred repository leonv/ThProg-SS23 to Teaching/ThProg-SS23 2023-06-09 17:14:36 +02:00
leonv pushed to main at Teaching/ThProg-SS23 2023-06-09 17:07:04 +02:00
83a6caf07e Updated readme
leonv created branch main in Teaching/ThProg-SS23 2023-06-09 17:06:10 +02:00
leonv pushed to main at Teaching/ThProg-SS23 2023-06-09 17:06:10 +02:00
d66f4faa7e Adding slides for sheet 07
67b4db7ed1 Initial commit (some exercises done already)
leonv created repository Teaching/ThProg-SS23 2023-06-09 17:06:01 +02:00
leonv pushed to main at TypeTheory/resolution 2023-06-08 12:53:24 +02:00
1110dcafe7 Added CLI functionality
leonv pushed to main at TypeTheory/resolution 2023-06-08 11:30:45 +02:00
876a9c9c63 Added some printing for resolution and implemented alphaEq on clauses
leonv pushed to main at TypeTheory/resolution 2023-06-07 17:36:25 +02:00
7b773c4605 Use Set instead of List to fix many errors, better file structure
leonv pushed to main at TypeTheory/resolution 2023-06-07 11:04:06 +02:00
eb5269d90e Implemented Parser
leonv pushed to main at TypeTheory/resolution 2023-06-04 18:11:32 +02:00
69f576b054 Worked on fixing issues
leonv pushed to main at TypeTheory/resolution 2023-06-04 17:12:32 +02:00
93273f0cc5 Removed executable
leonv created branch main in TypeTheory/resolution 2023-06-04 17:11:53 +02:00
leonv pushed to main at TypeTheory/resolution 2023-06-04 17:11:53 +02:00
6aa770be77 Renamed project
30b63499bf Implemented unification and resolution
leonv created repository TypeTheory/resolution 2023-06-04 17:11:41 +02:00
leonv created branch main in TypeTheory/PCF 2023-06-01 12:27:52 +02:00
leonv pushed to main at TypeTheory/PCF 2023-06-01 12:27:52 +02:00
3b18671079 Implemented typechecking (not 100% correct)
c11d46956b Defining project outline
531ec6e412 Initial commit from template
leonv created repository TypeTheory/PCF 2023-06-01 12:26:23 +02:00