Joeri Exelmans 0b262daf7f add enum type (generalization of sum-type)		2025-04-17 16:10:00 +02:00
..
defaultmap.js	progress and some refactoring	2025-03-31 15:35:02 +02:00
pretty.js	branching and very basic merging of slots	2025-04-17 09:19:41 +02:00
util.js	add enum type (generalization of sum-type)	2025-04-17 16:10:00 +02:00