Version 1.0

.gitignore

@@ -1 +1,19 @@
-dist/
+dist
+dist-*
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+.stack-work/
+cabal.project.local

INSTALL

@@ -1,6 +1,6 @@
 Installation guide:
 - Download and unpack the package file (http://www.mimuw.edu.pl/~szynwelski/nlambda/nlambda-1.0.tar.gz).
-- Move into the directory nlambda-1.0.
+- Move into the directory nlambda.
 - Perform the following commands:
     runhaskell Setup configure --user -fTOTAL_ORDER
     runhaskell Setup build

LICENSE

@@ -0,0 +1,31 @@
+Copyright (c)2015-2016, M.Szynwelski, B.Klin
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the names of M.Szynwelski and B.Klin nor the names of
+      other contributors may be used to endorse or promote products
+      derived from this software without specific prior written
+      permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

NLambda.cabal

@@ -1,8 +1,11 @@
 name:		   NLambda
-version:	   0.0.1
+version:	   1.0
 build-type:        Simple
 cabal-version:     >= 1.2
 author:            M.Szynwelski, B.Klin
+license:           BSD3
+license-file:      LICENSE
+copyright:         (c) 2015-2016, M.Szynwelski, B.Klin
 
 Flag TOTAL_ORDER
   description: Set atoms type with total order
@@ -44,6 +47,5 @@ Library
     Nominal.Set,
     Nominal.Type,
     Nominal.Util.InsertionSet,
-    Nominal.Util.UnionFind,
     Nominal.Variable,
     Nominal.Variants