Skip to content

Latest commit

 

History

History
64 lines (53 loc) · 4.66 KB

README.md

File metadata and controls

64 lines (53 loc) · 4.66 KB
Raw

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-infra/www.haskell.org a86c16
haskell/cabal 1.0.0 60545b
jgm/pandoc 60545b
simonmichael/hledger a86c16
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.

Considered but Rejected

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.

    ↩