Joeri Exelmans 255bc475d7 fix		2025-05-09 15:03:17 +02:00
..
dict.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
dict.types.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
enum.js	simplify: no distinction between generic types and 'normal' types.	2025-05-08 16:58:07 +02:00
enum.types.js	fix things	2025-05-08 23:08:48 +02:00
list.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
list.types.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
product.js	reorganize directory and file structure	2025-05-07 13:44:49 +02:00
product.types.js	use newDynamic() everywhere instead of { i: ... , t: ... }	2025-05-08 23:56:58 +02:00
set.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
set.types.js	replace 'prompt' example by 'environment'	2025-05-09 14:53:43 +02:00
struct.js	reorganize directory and file structure	2025-05-07 13:44:49 +02:00
struct.types.js	use newDynamic() everywhere instead of { i: ... , t: ... }	2025-05-08 23:56:58 +02:00
sum.js	reorganize directory and file structure	2025-05-07 13:44:49 +02:00
sum.types.js	use newDynamic() everywhere instead of { i: ... , t: ... }	2025-05-08 23:56:58 +02:00
type_constructors.js	pretty print enhancements + comparison of generic functions	2025-05-08 22:59:01 +02:00
type_constructors.types.js	fix	2025-05-09 15:03:17 +02:00