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-05-08 22:59:56 +02:00
8a4b47df02 create dictionary of {Type => {set of instances}}
9e1f679dba pretty print enhancements + comparison of generic functions
bbac7858ae fix some things
Compare 3 commits »
joeri pushed to master at research/dope2 2025-05-08 17:32:38 +02:00
d9111c3969 delete more unused code
joeri pushed to master at research/dope2 2025-05-08 17:31:39 +02:00
07d313f938 delete no longer used class 'DefaultMap'
joeri pushed to master at research/dope2 2025-05-08 17:30:48 +02:00
35d682429b turn one example into a test + fix bug in type variable substition function
joeri pushed to master at research/dope2 2025-05-08 16:58:14 +02:00
a664ddac8a simplify: no distinction between generic types and 'normal' types.
joeri pushed to master at research/dope2 2025-05-07 14:06:01 +02:00
b4826605af add dict comparison function
joeri pushed to master at research/dope2 2025-05-07 13:44:53 +02:00
48390b8556 reorganize directory and file structure
joeri pushed to master at research/dope2 2025-05-06 23:41:19 +02:00
1d826ea8d4 parser for types + start moving all types to separate modules
joeri pushed to master at research/dope2 2025-05-05 17:17:49 +02:00
8eec5b9239 recursive types (and operations on them, like pretty-printing, comparison and unification) seem to be working.
joeri pushed to master at joeri/nixos-public 2025-05-01 14:35:42 +02:00
f9537c2829 fix
joeri pushed to master at joeri/nixos-public 2025-05-01 14:26:57 +02:00
70cfbf7946 update deps
joeri pushed to master at joeri/nixos-public 2025-05-01 14:23:10 +02:00
ad2f8d59b8 update deps + disable xfce (too buggy)
72d4cff97c install lf
Compare 2 commits »
joeri pushed to master at research/dope2 2025-04-20 21:14:44 +02:00
55c5d7cffa move function
joeri pushed to master at research/dope2 2025-04-20 21:09:54 +02:00
8a4bd44f04 rename some things
joeri pushed to master at research/dope2 2025-04-20 11:30:33 +02:00
e04cac4f7d move function
joeri pushed to master at research/dope2 2025-04-20 11:24:10 +02:00
c1ac3c0d60 add type comparison function
joeri pushed to master at research/dope2 2025-04-18 09:15:05 +02:00
3be17c1148 doc
c51e517b66 fix missing return stmt
28f60e77be rename dir scripts -> examples
Compare 3 commits »
joeri pushed to master at research/dope2 2025-04-17 16:48:21 +02:00
bc9dce4b9c move test to separate file
joeri pushed to master at research/dope2 2025-04-17 16:43:34 +02:00
4d1fb81492 can auto-generate comparison functions for composed types
joeri pushed to master at research/dope2 2025-04-17 16:10:04 +02:00
0b262daf7f add enum type (generalization of sum-type)