5 Commits

Author	SHA1	Message	Date
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