From de654b5d03597cec3ea9ddacf2bb8268f06164be Mon Sep 17 00:00:00 2001 From: Karocyt/kevazoul Date: Wed, 9 Dec 2020 12:37:56 +0100 Subject: [PATCH] first commit (bis) --- .gitignore | 10 +++++++ CHANGELOG.md | 5 ++++ LICENSE | 30 +++++++++++++++++++++ Setup.hs | 2 ++ a-machine | 1 + a-machine.cabal | 70 +++++++++++++++++++++++++++++++++++++++++++++++++ author | 2 ++ src/Main.hs | 4 +++ 8 files changed, 124 insertions(+) create mode 100644 .gitignore create mode 100644 CHANGELOG.md create mode 100644 LICENSE create mode 100644 Setup.hs create mode 120000 a-machine create mode 100644 a-machine.cabal create mode 100644 author create mode 100644 src/Main.hs diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..671b2ca --- /dev/null +++ b/.gitignore @@ -0,0 +1,10 @@ +__pycache__ +__pytest__ +corrections +.pytest_cache +MANIFEST +.vscode +verif +dist +cabal.sandbox.config +.cabal-sandbox diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..0a9cd15 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,5 @@ +# Revision history for a-machine + +## 0.1.0.0 -- YYYY-mm-dd + +* First version. Released on an unsuspecting world. diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..d7162ae --- /dev/null +++ b/LICENSE @@ -0,0 +1,30 @@ +Copyright (c) 2020, Kevin Azoulay and Guillaume De Rouville + +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 name of Kevin Azoulay and Guillaume De Rouville 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. diff --git a/Setup.hs b/Setup.hs new file mode 100644 index 0000000..9a994af --- /dev/null +++ b/Setup.hs @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain diff --git a/a-machine b/a-machine new file mode 120000 index 0000000..419a3a4 --- /dev/null +++ b/a-machine @@ -0,0 +1 @@ +.cabal-sandbox/bin/a-machine \ No newline at end of file diff --git a/a-machine.cabal b/a-machine.cabal new file mode 100644 index 0000000..43e6322 --- /dev/null +++ b/a-machine.cabal @@ -0,0 +1,70 @@ +-- Initial a-machine.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +-- The name of the package. +name: a-machine + +-- The package version. See the Haskell package versioning policy (PVP) +-- for standards guiding when and how versions should be incremented. +-- https://wiki.haskell.org/Package_versioning_policy +-- PVP summary: +-+------- breaking API changes +-- | | +----- non-breaking API additions +-- | | | +--- code changes with no API change +version: 0.1.0.0 + +-- A short (one-line) description of the package. +synopsis: A turing machine + +-- A longer description of the package. +-- description: + +-- URL for the project homepage or repository. +homepage: None + +-- The license under which the package is released. +license: BSD3 + +-- The file containing the license text. +license-file: LICENSE + +-- The package author(s). +author: Kevin Azoulay and Guillaume De Rouville + +-- An email address to which users can send suggestions, bug reports, and +-- patches. +maintainer: None + +-- A copyright notice. +-- copyright: + +category: Math + +build-type: Simple + +-- Extra files to be distributed with the package, such as examples or a +-- README. +extra-source-files: CHANGELOG.md + +-- Constraint on the version of Cabal needed to build this package. +cabal-version: >=1.10 + + +executable a-machine + -- .hs or .lhs file containing the Main module. + main-is: Main.hs + + -- Modules included in this executable, other than Main. + -- other-modules: + + -- LANGUAGE extensions used by modules in this package. + -- other-extensions: + + -- Other library packages from which modules are imported. + build-depends: base >=4.12 && <4.13 + + -- Directories containing source files. + hs-source-dirs: src + + -- Base language which the package is written in. + default-language: Haskell2010 + diff --git a/author b/author new file mode 100644 index 0000000..7d06219 --- /dev/null +++ b/author @@ -0,0 +1,2 @@ +gurival- +kevazoul diff --git a/src/Main.hs b/src/Main.hs new file mode 100644 index 0000000..f7090c2 --- /dev/null +++ b/src/Main.hs @@ -0,0 +1,4 @@ +module Main where + +main :: IO () +main = putStrLn "Hello world!"