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-06-02 10:34:07 +02:00

4a89ccd5d1 fix factorial example

joeri pushed to master at research/dope2-webapp 2025-05-31 11:11:45 +02:00

7b6d18bc6a forgot file

7fafa35b4b small usability changes

Compare 2 commits »

joeri pushed to master at research/dope2-webapp 2025-05-28 12:20:36 +02:00

8385f08923 add deep evaluation + remove environment React context (passed via typeInfo instead) + improve highlighting of statically unknown values

joeri pushed to master at research/dope2-webapp 2025-05-28 11:37:00 +02:00

8576f7cb8d cleanup CSS

joeri pushed to master at research/dope2-webapp 2025-05-28 11:27:09 +02:00

2d95fdf07a clean up

joeri pushed to master at research/dope2-webapp 2025-05-28 11:24:42 +02:00

dcd213102f cleanup CSS a bit

joeri pushed to master at research/dope2 2025-05-28 09:45:41 +02:00

44ca4bbc4b update roadmap

joeri pushed to master at research/dope2-webapp 2025-05-28 08:13:38 +02:00

955bb17f9a display dynamic errors too

joeri pushed to master at research/dope2 2025-05-28 07:48:58 +02:00

bc9a229a5c update roadmap

joeri pushed to master at research/dope2-webapp 2025-05-27 13:20:13 +02:00

abd3bd3645 nicer looking types

joeri pushed to master at research/dope2-webapp 2025-05-27 12:45:01 +02:00

428e8cd298 better error handling

7edf44f107 visualize type unification substitutions

Compare 2 commits »

joeri pushed to master at research/dope2-webapp 2025-05-27 10:56:18 +02:00

4a4cee6ee9 deal with eval errors

joeri pushed to master at research/dope2-webapp 2025-05-26 15:34:57 +02:00

32bdc23ea7 wrote interpreter (independent of type inferencer)

joeri pushed to master at research/dope2-webapp 2025-05-26 14:59:21 +02:00

2279c54229 Type inference for recursive let...in... working. Update factorial example.

joeri pushed to master at research/dope2-webapp 2025-05-25 08:58:28 +02:00

d000839878 infer all types once at the root level, and pass the result down deeply

joeri pushed to master at research/dope2-webapp 2025-05-24 18:35:10 +02:00

b2584a2495 fix type inferencing bug

joeri pushed to master at research/dope2-webapp 2025-05-24 09:42:30 +02:00

69175c8cb1 suggestions work again, improve error reporting

joeri pushed to master at research/dope2 2025-05-24 09:27:45 +02:00

cac0cb7f81 export correct types of errors

joeri pushed to master at research/dope2-webapp 2025-05-23 22:35:52 +02:00

9050581a10 move everything

joeri pushed to master at research/dope2-webapp 2025-05-23 20:33:12 +02:00

3ff7e76694 one last fix