Add Dockerfiles for building and running C,Coq and Haskell projects#309

Closed

imaginator wants to merge 2 commits intoBlockstreamResearch:masterfrom

imaginator:master

Commits on Aug 21, 2025

Add Dockerfiles for building and running C,Coq and Haskell projects
imaginator
committed

Commits on Aug 24, 2025

Ensure Simplicity modules are loaded at the GHCi prompt.
imaginator
committed