7 Commits

Author	SHA1	Message	Date
Dmitry Zuikov	eef1561340	FromJSON for Syntax	2023-09-19 12:35:51 +03:00
Dmitry Zuikov	ae1449767f	ToJSON for Syntax	2023-09-19 10:59:46 +03:00
Dmitry Zuikov	04c432681d	Eq, Ord instances for Syntax	2023-03-26 10:28:08 +03:00
Dmitry Zuikov	3fbf491a78	Eq, Ord instances for Syntax	2023-03-26 10:23:20 +03:00
Dmitry Zuikov	a9f72e3213	wip	2023-02-07 21:18:58 +03:00
Dmitry Zuikov	1e95e53d3b	somehow	2023-02-07 11:55:56 +03:00
Dmitry Zuikov	b1f2c94eb8	wip	2023-02-07 10:08:57 +03:00