[ANN] ychr is on Hackage

The topic is a little exotic but hopefully worth an announcement just in case. YCHR is a Constraint Handling Rules compiler that targets procedural languages instead of Prolog. The motivation is threefold: Building the first production-grade CHR compiler outside of a Prolog ecosystem. Exploring various compiler design trade-offs. Experimenting with LLMs. Yes, the code has been entirely generated by large language models. The project is still in active development but the implemented feat...