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-17 18:01:36 +02:00
46baad7cf4 self-host fonts; proper error bubbling
joeri pushed to master at joeri/nixos-public 2025-05-17 16:56:34 +02:00
1bd6e533dc Merge remote-tracking branch 'origin/master'
ce883e2777 nginx: set cache control header
Compare 2 commits »
joeri pushed to master at research/dope2-webapp 2025-05-17 12:13:49 +02:00
68104a8102 add example + only show scrollbars in Chrome when necessary
joeri pushed to master at research/dope2-webapp 2025-05-17 12:06:31 +02:00
51ff4d24b0 eval lambda block: bubble up substitutions
joeri pushed to master at research/dope2-webapp 2025-05-17 10:38:58 +02:00
496463bbac use unused typevar when encountering unknown value or lambda parameter - type inferencing still not entirely correct
joeri pushed to master at research/dope2-webapp 2025-05-17 09:50:20 +02:00
d7a4e210a2 can disable syntactic sugar also for let...in... blocks + nicer looking fn input parameters
joeri pushed to master at research/dope2-webapp 2025-05-17 09:25:16 +02:00
e850952738 nicer looking
joeri pushed to master at research/dope2 2025-05-16 14:07:40 +02:00
0096bb5559 allow comparison of type variable instances
joeri pushed to master at research/dope2 2025-05-16 13:04:11 +02:00
8446f9ba9e forgot to add new function to index.d.ts
joeri pushed to master at research/dope2 2025-05-16 10:16:24 +02:00
106bd0bfdb add function
joeri pushed to master at research/dope2-webapp 2025-05-16 08:52:01 +02:00
8abbac4bc9 Let ... in ... block autocomplete also sorted by best 'match', type-wise
joeri pushed to master at research/dope2-webapp 2025-05-15 22:23:01 +02:00
2d81e42447 change the way text suggestions are rendered + option to disable syntactic sugar
joeri pushed to master at research/dope2 2025-05-15 17:19:29 +02:00
d75bf9f0f2 fix type of exported errors
joeri pushed to master at research/dope2-webapp 2025-05-15 10:09:27 +02:00
ea8c015eff when sorting suggestions, not only function and input type are matched, but also output type (=input of surrounding function)
joeri pushed to master at research/dope2-webapp 2025-05-14 10:36:59 +02:00
d3138e6617 add 'filter' property to CallBlock to prepare to filter suggestions on output type
joeri pushed to master at research/dope2-webapp 2025-05-14 10:29:15 +02:00
0a8d430d3a fix suggestion order
joeri pushed to master at research/dope2-webapp 2025-05-14 08:19:53 +02:00
18e28fe8b0 small fix
joeri pushed to master at research/dope2-webapp 2025-05-14 08:09:40 +02:00
5964510036 greatly simplify state + cleanup code
joeri pushed to master at research/dope2-webapp 2025-05-14 06:46:09 +02:00
2d0deca127 don't re-compute values on first render (unnecessary, values are part of state)
joeri pushed to master at research/dope2-webapp 2025-05-13 20:56:21 +02:00
174bab79e4 now it really works!