Joeri Exelmans 664f31447f typo		2025-05-23 19:55:22 +02:00
..
fixpoint.js	fixpoint algorithm: parameterize the Map to use	2025-05-22 14:31:26 +02:00
generics.js	wrote new unify-function that always returns minimal set of substitutions	2025-05-23 14:04:56 +02:00
parser.js	simplify: no distinction between generic types and 'normal' types.	2025-05-08 16:58:07 +02:00
recursive_types.js	pretty print enhancements + comparison of generic functions	2025-05-08 22:59:01 +02:00
trie.js	fix bug in radix trie	2025-05-19 17:02:20 +02:00
unify.js	typo	2025-05-23 19:55:22 +02:00