News for hackers. Stuff that matters.

A comment on Lion: A formally verified, 5-stage pipeline RISC-V core. Parent comment

Re:Lion: A formally verified, 5-stage pipeline RISC-V core by tome on Friday March 05, 2021 @06:47AM (#26355780)
I know Haskell well and I hate to read code like that!
[ Parent | on HN ]

There are no comments on this comment yet.