[104488] trunk/dports/devel/hs-type-level/Portfile

[larryv at macports.org]

Revision: 104488
          https://trac.macports.org/changeset/104488
Author:   larryv at macports.org
Date:     2013-03-25 23:55:22 -0700 (Mon, 25 Mar 2013)
Log Message:
-----------
hs-type-level: Edit descriptions; add modeline and clean up.

Modified Paths:
--------------
    trunk/dports/devel/hs-type-level/Portfile

Modified: trunk/dports/devel/hs-type-level/Portfile
===================================================================
--- trunk/dports/devel/hs-type-level/Portfile	2013-03-26 06:45:23 UTC (rev 104487)
+++ trunk/dports/devel/hs-type-level/Portfile	2013-03-26 06:55:22 UTC (rev 104488)
@@ -1,33 +1,26 @@
+# -*- 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
+PortSystem          1.0
+PortGroup           haskell 1.0
 
-PortGroup	haskell 1.0
-haskell.setup	type-level 0.2.4
-revision	1
-maintainers	nomaintainer
-platforms	darwin
+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 (Naturals and Positives) are supported. With	\
-	regard to Numerals, there is support for common arithmetic	\
-	operations (addition, substraction, multiplication, division,	\
-	exponientation, logarithm, maximum, comparison, GCD) over	\
-	natural numbers (using a decimal representation to make		\
-	compile-time errors friendlier). Although making use of		\
-	type-level computations might seem devious and obfuscated at	\
-	first sight, it is indeed useful in practice to implement	\
-	lightweight dependent types such us number-parameterized types	\
-	(e.g. an array type parameterized by the array's size or a	\
-	modular group type Zn parameterized by the modulus).
+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
+checksums           md5     4aca3b4fd0a56377ffa79464cf491509 \
+                    sha1    3ec9cf2f9016852ce217f1d233d6462c7eba80da \
+                    rmd160  03f185a2cad6575f9e73b406ed8fbdb931e32c8f
 
-patchfiles	type-level.cabal.diff
+patchfiles          type-level.cabal.diff
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130325/e58e8e81/attachment.html>