я все-таки заставил это работать. Теперь у меня есть игрушка с зависимыми типами, у которой парсер навайбкожен до такой степени, что читать его сложнее, чем все остальное в проекте. Зато все кроме парсера и красивого вывода писалось руками!
9
2
2July 9, 2026 453 10
