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.

	Upstream Repo	Converted Repo	Updo Version	Updo Hash	When
	Copilot-Language/copilot	up-do/copilot		a86c16	2023-12-24
	MercuryTechnologies/hlint-plugin	up-do/hlint-plugin	1.0.0	60545b	2023-12-05
	clash-lang/clash-compiler	up-do/clash-compiler		60545b	2023-12-05
	commercialhaskell/stack	up-do/stack	1.0.0	60545b	2023-12-05
	diku-dk/futhark	up-do/futhark		60545b	2023-12-05
	elm/compiler	up-do/compiler		60545b	2023-12-05
	gelisam/klister	up-do/klister		a86c16	2024-03-27
	google-research/dex-lang	up-do/dex-lang	1.0.0	60545b	2023-12-05
	haskell-infra/www.haskell.org	up-do/www.haskell.org		a86c16	2024-06-17
	haskell/cabal	up-do/cabal	1.0.0	60545b	2023-11-30
	jgm/pandoc	up-do/pandoc		60545b	2023-12-05
	simonmichael/hledger	up-do/hledger		a86c16	2024-05-18
	tahoe-lafs/tahoe-s3	up-do/tahoe		a86c16	2024-10-01
	ucsd-progsys/liquid-fixpoint	up-do/liquid-fixpoint		60545b	2024-05-25
	ucsd-progsys/liquidhaskell	up-do/liquidhaskell		60545b	2023-12-05
	unisonweb/unison	up-do/unison		cdb06e	2023-12-06
	yesodweb/persistent	up-do/persistent		60545b	2023-12-05
	yesodweb/yesod	up-do/yesod		d5de60	2023-12-06

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

   ↩