Dockerfile linter, validate inline bash, written in Haskell

The core component that is used to participate in a Cardano decentralised blockchain.

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"