# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# $Id: Portfile 104488 2013-03-26 06:55:22Z larryv@macports.org $

PortSystem          1.0
PortGroup           haskell 1.0

haskell.setup       type-level 0.2.4
revision            1
platforms           darwin
license             BSD
maintainers         nomaintainer

description         Type-level programming library
long_description    This library permits performing computations on the \
                    type-level. Type-level functions are implemented \
                    using functional dependencies of multi parameter \
                    type classes. To date, Booleans and Numerals \
                    are supported. With regard to Numerals, there is \
                    support for common arithmetic operations over \
                    natural numbers.

checksums           md5     4aca3b4fd0a56377ffa79464cf491509 \
                    sha1    3ec9cf2f9016852ce217f1d233d6462c7eba80da \
                    rmd160  03f185a2cad6575f9e73b406ed8fbdb931e32c8f

patchfiles          type-level.cabal.diff
