From Dhall configuration, generate Stack and Cabal projects with Dhall text templating
Please see the readme or announcement for more details on Updo itself. Here you'll find examples of projects converted to use Updo to configure, generate and sometimes upgrade projects.
These Haskell projects have been upgraded to a published version of Updo, e.g.
updo-1.0.0, or have been upgraded to development version of Updo, identified
with a commit hash.
These projects are up for conversion. Add a pull request if you want to suggest another project.
- agda/agda
- digitallyinduced/ihp
- haskell-servant/servant
- input-output-hk/plutus
- lamdu/lamdu
- yi-editor/yi
Footnotes
-
When GHC builds with Cabal. ↩
-
It looks like the github/semantic project is parked ("in flux") with development shifted to github/stack-graphs, a rust project. ↩
-
Idris has moved on from Haskell.
↩This is Idris 1, implemented in Haskell. Idris 1 is not actively worked on anymore. Idris 2 is the next generation of Idris, and where primary development happens.