dev-haskell / uhc-light

Part of UHC packaged as cabal/hackage installable library

Official package sites : https://github.com/UU-ComputerScience/uhc ·

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

v1.1.9.5 :: 0/1.1.9.5 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
profile

General

profile
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / fgl : Martin Erwig's Functional Graph Library

dev-haskell / hashable : A class for types that can be converted to a hash value

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / network : Low-level networking interface

dev-haskell / old-locale : locale library

dev-haskell / primitive : Primitive memory-related operations

dev-haskell / syb : Scrap Your Boilerplate

dev-haskell / uhc-util : UHC utilities

dev-haskell / utf8-string : Support for reading and writing UTF8 Strings

dev-haskell / uulib : Haskell Utrecht Tools Library

dev-haskell / vector : Efficient Arrays

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / fgl : Martin Erwig's Functional Graph Library

dev-haskell / hashable : A class for types that can be converted to a hash value

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / network : Low-level networking interface

dev-haskell / old-locale : locale library

dev-haskell / primitive : Primitive memory-related operations

dev-haskell / syb : Scrap Your Boilerplate

dev-haskell / uhc-util : UHC utilities

dev-haskell / utf8-string : Support for reading and writing UTF8 Strings

dev-haskell / uulib : Haskell Utrecht Tools Library

dev-haskell / vector : Efficient Arrays

dev-lang / ghc : The Glasgow Haskell Compiler

sci-mathematics / agda : A dependently typed functional programming language and proof assistant

Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
dev-haskell/uhc-light: new package, a depend of sci-mathematics/agda-2.5.2
Part of UHC packaged as cabal/hackage installable library Package-Manager: Portage-2.3.3, Repoman-2.3.1