8 Commits

Author	SHA1	Message	Date
Yamada Ryo	4ad2da9d93	[fix] links to v0.3.0.	2024-09-01 18:45:02 +09:00
Yamada Ryo	b889266998	[fix] Rename the module from Handler to Interpreter to align with terminology.	2024-09-01 17:19:44 +09:00
Yamada Ryo	b36edea9b7	[fix] Simplify the logging example.	2024-09-01 05:14:07 +09:00
Yamada Ryo	7bbb97dc46	[fix] Adapted to changes in the default open union.	2023-09-17 15:46:51 +09:00
Yamada Ryo	1794222905	[add] information about the 'Could not deduce KnownNat' error.	2023-09-17 14:10:16 +09:00
Yamada Ryo	7f2f1984f8	[add] support for fast open unions using the 'extensible' package and made it the default open unions.	2023-09-17 13:34:41 +09:00
Yamada Ryo	14e79f79bf	[add] English version of the example 2.	2023-09-16 17:08:18 +09:00
Yamada Ryo	f9ea99d58a	Rename the directory for Japanese language documentation.	2023-09-16 11:50:08 +09:00