-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Dear luke,
I found this project that is similar to Haskell.
IIRC, you said you'd like to use Haskell as it can be formally verified
when designing what will hopefully be a silicon FLOSS processor.
So, I think this project might interest you.
https://clash-lang.org/
I hope you're doing well.
Sincerely,
David
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEL2N7+xWmVOJDQxWGm3XCrhg2YP8FAmEtbbgACgkQm3XCrhg2
YP9sphAAjAkuUJ++H4TRXaR+HJxthjIGSGoUWGBCG6zKFPAPC1gHnvtCix+5MDky
SgO1HkajBNJZWCcmxzt4Ci1hRXyRBKr6sApy6uDPnpAPMdY6ftPzyqbxYCoxR9zZ
bX2pUvzboYgU00t/4v8/JYLY+w278k/+GEtWbsJNZdEHvsxaSePORgcqmJ37309Y
eXuzIMdg/RNgzcHEeSZ9MxuBBU741J/9qD3IjcjMol2laTL0Ku5EhcRXbF0xvZOB
qhh21mn5UH280QCtDe5DvQWXuZ+blPPSNTBSvSgPkYfDRd3uT5dO0YhSu/nnwenZ
L70sscb97/FFT5cAt1WV5mk3Vgpzzp8Nhg1DDnKRO4mklAv3sEXEBPTUuM0ppw+G
+EZcwaxxOLAJaDD+CJcsJ1dDf7skdQVoU9pqZSzN7xbiKatopVifFwj/F7agWDBj
hCWJYAnNiCnnXPqL1BIyLFH4fd6wfLnU95z9dyfeBNpuesSu/jIb0DWZ9IJEZvmP
R+iQUv2BPcQixPSi2KTG2tRyeh3mwVIsgJO7RyfL3V/7LNa5PlcdW9Sr3eWfPVGc
2vBM0ug/OoFezBCttQY0hU259xS9tokO8pH9dvcKK04qEUMAECJOMlrmwnIneKwT
ArwxiNZpsrq+u/3LO6hgcO+zcttJwlrKtwshZYRPD9h3VijSvpg=
=Z2g6
-----END PGP SIGNATURE-----