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-19 15:48:15 +02:00
ec2944cdb7 more improvements
d877b42a12 much improved type inferencing
Compare 2 commits »
joeri pushed to master at research/dope2 2025-05-19 15:10:11 +02:00
70fb80a9fc export even more stuff
joeri pushed to master at research/dope2 2025-05-19 13:50:06 +02:00
1fe4085844 export a bit more
joeri pushed to master at research/dope2 2025-05-19 13:46:31 +02:00
0896dfae4e update index
joeri pushed to master at research/dope2 2025-05-19 13:31:44 +02:00
870ce51a97 update index
joeri pushed to master at research/dope2 2025-05-19 13:23:40 +02:00
28909d88b9 rename function + update index
joeri pushed to master at research/dope2 2025-05-19 13:20:31 +02:00
c1da60b71c remove 'prompt' example (the webapp demo is better in every way)
joeri pushed to master at research/dope2 2025-05-19 13:19:04 +02:00
dfe03eab6e rewrite, simply and "power-up" unification
joeri pushed to master at research/dope2-webapp 2025-05-18 12:02:01 +02:00
28e5032923 small changes - disable suggestions temporarily
joeri pushed to master at research/dope2-webapp 2025-05-18 11:10:29 +02:00
93f665ba8f rename Editor -> ExprBlock
joeri pushed to master at research/dope2-webapp 2025-05-18 11:05:07 +02:00
fe83532261 more cleanup
joeri pushed to master at research/dope2-webapp 2025-05-18 10:59:32 +02:00
802373ba16 cleanup more
joeri pushed to master at research/dope2-webapp 2025-05-18 10:53:59 +02:00
1d54ac1433 cleanup code
joeri pushed to master at research/dope2-webapp 2025-05-18 10:33:47 +02:00
c45f19143b improve type inferencing + fix bug in CallBlock suggestion priorities
joeri pushed to master at research/dope2 2025-05-18 10:21:14 +02:00
d3515d39a5 tweak a bit
joeri pushed to master at research/dope2 2025-05-18 10:19:43 +02:00
54c9bff435 tweak a bit
joeri pushed to master at research/dope2 2025-05-18 09:58:15 +02:00
248d8ddef1 when assigning parameter to function, the returned typevar substitutions must take into account any typevar recomputations
joeri pushed to master at research/dope2 2025-05-18 09:38:36 +02:00
8266e59b94 export __unify
joeri pushed to master at research/dope2-webapp 2025-05-17 23:32:39 +02:00
24689b3783 correct suggestion order also in body of lambda function
joeri pushed to master at research/dope2-webapp 2025-05-17 22:40:21 +02:00
1ff4b181ff fix suggestion order