<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div>On Fri, 11 Dec 2020, at 9:50 AM, Bardur Arantsson wrote:<br></div><blockquote type="cite" id="qt" style=""><div>(Dhall could work here since you can at least do inclusions and reuse in<br></div><div>a generic way. Plus it has fully defined semantics plus implementations<br></div><div>in at least a couple of langauges, Haskell and Scala.)<br></div></blockquote><div><br></div><div>Psst <a href="https://hackage.haskell.org/package/dhall-to-cabal">https://hackage.haskell.org/package/dhall-to-cabal</a> :)<br></div><div><br></div><div>I think the missing piece here is making a frontend that transparently turns Dhall to Cabal syntax and runs cabal-install, so you don't have to keep regenerating files.<br></div><div><br></div><div>Ollie<br></div></body></html>