Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Software Development Languages: Haskell. Parent comment
* https://github.com/input-output-hk/cardano-ledger
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
There are no comments on this comment yet.
* https://github.com/input-output-hk/cardano-ledger
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy