Updo Examples

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.

Conversions

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.

Source	Updo Version	Updo Hash	Notes
Copilot-Language/copilot		a86c16
MercuryTechnologies/hlint-plugin	1.0.0	60545b	⇢
clash-lang/clash-compiler		60545b
commercialhaskell/stack	1.0.0	60545b
diku-dk/futhark		60545b
elm/compiler		60545b
gelisam/klister		a86c16
google-research/dex-lang	1.0.0	60545b
haskell/cabal	1.0.0	60545b
jgm/pandoc		60545b
ucsd-progsys/liquid-fixpoint		60545b
ucsd-progsys/liquidhaskell		60545b
unisonweb/unison		cdb06e
yesodweb/persistent		60545b
yesodweb/yesod		d5de60

Proposed

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
• simonmichael/hledger
• yi-editor/yi

Considered but Rejected

• ghc/ghc¹
• github/semantic²
• idris-lang/Idris-dev³

Footnotes

1. When GHC builds with Cabal. ↩

2. It looks like the github/semantic project is parked ("in flux") with development shifted to github/stack-graphs, a rust project. ↩

3. 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.

   ↩