|
|
4c394441b0
|
fix things
|
2025-05-08 23:08:48 +02:00 |
|
|
|
a664ddac8a
|
simplify: no distinction between generic types and 'normal' types.
|
2025-05-08 16:58:07 +02:00 |
|
|
|
48390b8556
|
reorganize directory and file structure
|
2025-05-07 13:44:49 +02:00 |
|
|
|
8eec5b9239
|
recursive types (and operations on them, like pretty-printing, comparison and unification) seem to be working.
big part of the code base still needs to be 'ported' to the updated type constructors.
|
2025-05-05 17:17:45 +02:00 |
|
|
|
8a4bd44f04
|
rename some things
|
2025-04-20 21:09:51 +02:00 |
|
|
|
28f60e77be
|
rename dir scripts -> examples
|
2025-04-18 09:14:09 +02:00 |
|
