From doark at mail.com  Tue Aug 31 00:45:58 2021
From: doark at mail.com (David Niklas)
Date: Mon, 30 Aug 2021 19:45:58 -0400
Subject: [Arm-netbook] Hardware description language Clash.
Message-ID: <20210830194558.457f3429@Zen-II-x12.niklas.com>

-----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-----