# -*- 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$ PortSystem 1.0 PortGroup haskell 1.0 haskell.setup type-level 0.2.4 revision 5 checksums rmd160 03f185a2cad6575f9e73b406ed8fbdb931e32c8f \ sha256 3bbdca0507187b72675dc182bb05da68d7e080693fa1ffe9fb961f693c81f7b1 license BSD maintainers cal openmaintainer platforms darwin 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 (Naturals and Positives) are \ supported. depends_lib-append port:hs-syb