TY  - RPRT
TI  - Haskell meets Evariste
AU  - Paulo R. Pereira
AU  - Jose N. Oliveira
PY  - 2026
UR  - https://arxiv.org/abs/2602.16809
ID  - 2602.16809
ER  -