The uhc-light package

[ Tags: bsd3, development, library, program ] [ Propose Tags ]

A light variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc..


Change log
Dependencies array, base (>=4.7 && <5), binary, bytestring, chr-data (>=, containers, directory, fgl, filepath, hashable (>=1.2.4 && <1.3), mtl, network, old-locale, primitive, process, syb, transformers, uhc-light, uhc-util (>= && <0.1.8), utf8-string, uulib (>=0.9.19), vector [details]
License BSD3
Copyright Utrecht University, Department of Information and Computing Sciences, Software Technology group
Author Atze Dijkstra
Category Development
Home page
Bug tracker
Uploaded Mon Jan 1 22:30:42 UTC 2018 by AtzeDijkstra
Distributions NixOS:
Executables uhcr, uhcl
Downloads 5633 total (159 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2018-01-02 [all 2 reports]
Hackage Matrix CI


  • UHC
    • Light
      • Compiler
        • UHC.Light.Compiler.API
        • Base
          • UHC.Light.Compiler.Base.API
        • Core
          • UHC.Light.Compiler.Core.API
        • CoreRun
          • UHC.Light.Compiler.CoreRun.API
            • UHC.Light.Compiler.CoreRun.API.Internal
        • EH
          • UHC.Light.Compiler.EH.Main
        • EHC
          • UHC.Light.Compiler.EHC.Main
            • UHC.Light.Compiler.EHC.Main.Compile
            • UHC.Light.Compiler.EHC.Main.Utils


Maintainer's Corner

For package maintainers and hackage trustees