Joeri Exelmans 794cd3f120 nicer pattern matching		2025-06-17 11:12:34 +02:00
..
dict.js	fix error in static merge algorithm. progress with merging of dictionary-operations	2025-06-16 14:34:24 +02:00
dict.types.js	fix error in static merge algorithm. progress with merging of dictionary-operations	2025-06-16 14:34:24 +02:00
enum.js	nicer pattern matching	2025-06-17 11:12:34 +02:00
enum.types.js	add primitive string type	2025-06-05 09:57:04 +02:00
list.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
list.types.js	(broken) modules are mappings from name to typed value	2025-05-10 09:14:58 +02:00
product.js	simplify 'enum'	2025-06-03 10:42:36 +02:00
product.types.js	(broken) modules are mappings from name to typed value	2025-05-10 09:14:58 +02:00
set.js	progress with versioning	2025-06-06 16:39:47 +02:00
set.types.js	correct type of emptyDict and emptySet	2025-05-12 10:44:02 +02:00
struct.js	progress with versioning lib	2025-06-06 15:30:35 +02:00
struct.types.js	simplify 'struct'	2025-06-02 15:28:07 +02:00
sum.js	reorganize directory and file structure	2025-05-07 13:44:49 +02:00
sum.types.js	(broken) use lowercase names for symbols	2025-05-10 09:19:40 +02:00
type_constructors.js	pretty print enhancements + comparison of generic functions	2025-05-08 22:59:01 +02:00
type_constructors.types.js	(broken) modules are mappings from name to typed value	2025-05-10 09:14:58 +02:00