13 Commits

Author	SHA1	Message	Date
Victor Taelin	14af40cca3	remove outdated book, link to monobook instead	2024-09-29 21:02:42 -03:00
Victor Taelin	65cbdaf816	improve λ-match parse errors	2024-09-29 11:34:57 -03:00
Victor Taelin	f5c02f55d4	tmp	2024-09-26 14:18:42 -03:00
Victor Taelin	4f7a3f7554	stuff	2024-09-25 11:02:43 -03:00
Victor Taelin	9a00b2bfd4	dependently typed constructor fields	2024-09-24 12:07:29 -03:00
Victor Taelin	22a761beb3	fixes and stuff	2024-08-29 00:30:48 -03:00
Victor Taelin	ffebf9ed67	stuff	2024-08-28 20:38:27 -03:00
Victor Taelin	ed97d6c0af	tons of stuff	2024-08-28 20:26:43 -03:00
Victor Taelin	8e36453b25	refactor switch	2024-08-28 17:30:24 -03:00
Victor Taelin	07c9deb1de	tmp	2024-08-28 16:49:55 -03:00
Victor Taelin	3411e51308	fix context show	2024-08-28 14:37:27 -03:00
Victor Taelin	367f611116	JS compiler, initial book	2024-08-28 12:21:49 -03:00
Victor Taelin	bbe41ed23c	improved CLI, recursive book loader	2024-08-28 11:31:11 -03:00