-----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----- _______________________________________________ arm-netbook mailing list [email protected] http://lists.phcomp.co.uk/mailman/listinfo/arm-netbook Send large attachments to [email protected]
