on master help sign in
initial
commite34469dc5a04192ce3414b93a5b85523272952b3 authorAleksey Uimanov <s9gf4ult@gmail.com> dateFri 23 Oct 2015, 17:40 (11 years ago)
3 files changed+56
LICENSE+30 Setup.hs+2 type-fun.cabal+24
LICENSEnew file+30
@@ -0,0 +1,30 @@
1+Copyright (c) 2015, Aleksey Uimanov
2+
3+All rights reserved.
4+
5+Redistribution and use in source and binary forms, with or without
6+modification, are permitted provided that the following conditions are met:
7+
8+ * Redistributions of source code must retain the above copyright
9+ notice, this list of conditions and the following disclaimer.
10+
11+ * Redistributions in binary form must reproduce the above
12+ copyright notice, this list of conditions and the following
13+ disclaimer in the documentation and/or other materials provided
14+ with the distribution.
15+
16+ * Neither the name of Aleksey Uimanov nor the names of other
17+ contributors may be used to endorse or promote products derived
18+ from this software without specific prior written permission.
19+
20+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
21+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
22+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
23+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
24+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
25+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
26+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
30+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Setup.hsnew file+2
@@ -0,0 +1,2 @@
1+import Distribution.Simple
2+main = defaultMain
type-fun.cabalnew file+24
@@ -0,0 +1,24 @@
1+-- Initial type-fun.cabal generated by cabal init. For further
2+-- documentation, see http://haskell.org/cabal/users-guide/
3+
4+name: type-fun
5+version: 0.0.1
6+-- synopsis:
7+-- description:
8+license: BSD3
9+license-file: LICENSE
10+author: Aleksey Uimanov
11+maintainer: s9gf4ult@gmail.com
12+-- copyright:
13+category: Dependent Types
14+build-type: Simple
15+-- extra-source-files:
16+cabal-version: >=1.10
17+
18+library
19+ -- exposed-modules:
20+ -- other-modules:
21+ -- other-extensions:
22+ build-depends: base >=4.8 && <4.9
23+ hs-source-dirs: src
24+ default-language: Haskell2010