|
|
1fa47d4abd
|
rename function
|
2025-05-10 14:45:50 +02:00 |
|
|
|
c27c7d3648
|
add purely functional Trie
|
2025-05-10 02:03:41 +02:00 |
|
|
|
9e1f679dba
|
pretty print enhancements + comparison of generic functions
|
2025-05-08 22:59:01 +02:00 |
|
|
|
35d682429b
|
turn one example into a test + fix bug in type variable substition function
|
2025-05-08 17:30:42 +02:00 |
|
|
|
a664ddac8a
|
simplify: no distinction between generic types and 'normal' types.
|
2025-05-08 16:58:07 +02:00 |
|
