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 2025-04-17 15:11:09 +02:00
8653bb99c6 restructure code a bit, add comparison functions for primitive types and composed types (needed to put values in sets)
joeri pushed to master at research/dope2 2025-04-17 09:19:45 +02:00
3978f7f835 branching and very basic merging of slots
joeri pushed to master at research/dope2 2025-04-16 16:32:10 +02:00
614e6c0fdb read-dependencies now correctly recorded (i think)
joeri pushed to master at research/dope2 2025-04-16 15:44:38 +02:00
7a5b9d4f38 when chaining functions, properly carry over read-dependencies the functions
joeri pushed to master at research/dope2 2025-04-16 14:51:16 +02:00
248c41e99f experiment with encoding of read- and write-dependencies
joeri pushed to master at research/dope2 2025-04-14 18:25:23 +02:00
c6c49a0966 add purely functional red-black tree benchmark
joeri pushed to master at joeri/nixos-public 2025-04-14 13:20:51 +02:00
4957a384af update dependencies
joeri pushed to master at research/dope2 2025-04-04 10:04:47 +02:00
342d4b34ef fix bug in polymorphic types (when creating a tuple of two empty lists, there was only one type variable (the type of the list), whereas each list could have a different type, so there should be two type variables) + make type variables look nicer
joeri pushed to master at research/dope2 2025-04-02 15:57:20 +02:00
8ac0c6d3dd show generic functions also
joeri pushed to master at research/dope2 2025-04-02 15:49:47 +02:00
4a4983f693 interactive prompt can handle polymorphic types
joeri pushed to master at research/dope2 2025-03-31 17:35:34 +02:00
a0e3aa0cb3 turn the function for creating new types (or type constructors) into a DOPE function
joeri pushed to master at research/dope2 2025-03-31 15:35:06 +02:00
d8ca2f3999 progress and some refactoring
joeri pushed to master at research/dope2 2025-03-24 17:29:37 +01:00
d236eca5e5 move executables to scripts
joeri pushed to master at research/dope2 2025-03-24 17:28:12 +01:00
145835ad5d progress
joeri pushed to master at research/dope2 2025-03-24 08:25:57 +01:00
6af72e525c progress
joeri pushed to master at research/dope2 2025-03-23 17:46:43 +01:00
3596e01c28 interactive prompt
joeri pushed to master at research/dope2 2025-03-23 13:25:52 +01:00
bc91d9bf39 lotta progress
joeri pushed to master at research/dope2 2025-03-23 09:15:41 +01:00
29d20b2273 wip
joeri pushed to master at research/dope2 2025-03-22 10:33:40 +01:00
afd78c3b3e progress
joeri pushed to master at research/dope2 2025-03-20 19:59:29 +01:00
33c156fc5c type inferencing "unifying" operation is now bi-directional + begin writing generic version of "unifying" operation (that should work on all types)