joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at research/dope2-webapp 2025-05-23 19:56:22 +02:00
ca9af544ba bump dependency (fixes bug)
joeri pushed to master at research/dope2 2025-05-23 19:55:25 +02:00
664f31447f typo
joeri pushed to master at research/dope2-webapp 2025-05-23 19:48:28 +02:00
c5c5def598 greatly simplify and improve type inferencing - suggestions broken
joeri pushed to master at research/dope2 2025-05-23 18:58:50 +02:00
0d3ccee7d5 typo
joeri pushed to master at research/dope2 2025-05-23 14:45:39 +02:00
3d72f4d416 get rid of some stuff
2333abe70f cleanup unification a bit
Compare 2 commits »
joeri pushed to master at research/dope2 2025-05-23 14:05:01 +02:00
68bd7cdb9f wrote new unify-function that always returns minimal set of substitutions
joeri pushed to master at research/dope2 2025-05-23 14:04:44 +02:00
6fd4a4c0e1 wrote new unify-function that always returns minimal set of reductions
joeri pushed to master at research/dope2 2025-05-22 14:31:33 +02:00
47786ae792 fixpoint algorithm: parameterize the Map to use
joeri pushed to master at research/dope2 2025-05-21 22:31:40 +02:00
ea878975be add algorithm for fixpoint calculation
joeri pushed to master at research/dope2-webapp 2025-05-21 00:13:21 +02:00
c3f7cea310 fix bug in type inferencing
joeri pushed to master at research/dope2-webapp 2025-05-20 16:53:09 +02:00
bb6e742f5f simplify suggestions ordering
joeri pushed to master at research/dope2-webapp 2025-05-20 15:35:46 +02:00
fdbf43a4e9 refactor a bit more
joeri pushed to master at research/dope2-webapp 2025-05-20 14:53:28 +02:00
230916ceb1 refactor a bit
joeri pushed to master at research/dope2-webapp 2025-05-20 09:05:23 +02:00
4fee37944d fix configurations
joeri pushed to master at research/dope2-webapp 2025-05-20 09:02:24 +02:00
5c3018b8c7 hitting spacebar always adds a parameter to the first ancestor that is a CallBlock
joeri pushed to master at research/dope2-webapp 2025-05-19 23:59:25 +02:00
5b6bcf5ffa everything seems to work ... but code is dirty
joeri pushed to master at research/dope2 2025-05-19 19:39:41 +02:00
8cfbd6116f add export
joeri pushed to master at research/dope2-webapp 2025-05-19 17:05:46 +02:00
a19dbe1b34 bump dope lib version because a bug was fixed
joeri pushed to master at research/dope2 2025-05-19 17:02:25 +02:00
4fcfea409a fix bug in radix trie
joeri pushed to master at research/dope2-webapp 2025-05-19 15:55:08 +02:00
f9c28ac8c8 add example: defining a higher-order function (doesn't work yet)