diff --git a/src/Main.hs b/src/Main.hs index 45d0290..0a9557f 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Main --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - module Main ( main, ) where diff --git a/src/Prolog/Compiler.hs b/src/Prolog/Compiler.hs index fb4cd35..1c2f49f 100644 --- a/src/Prolog/Compiler.hs +++ b/src/Prolog/Compiler.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Prolog.Compiler --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - {-# LANGUAGE FlexibleContexts #-} module Prolog.Compiler ( diff --git a/src/Prolog/Data.hs b/src/Prolog/Data.hs index ebfd779..d295b19 100644 --- a/src/Prolog/Data.hs +++ b/src/Prolog/Data.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Prolog.Data --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - {-# LANGUAGE FlexibleContexts #-} module Prolog.Data ( diff --git a/src/Prolog/Interpreter.hs b/src/Prolog/Interpreter.hs index 77f5972..682005f 100644 --- a/src/Prolog/Interpreter.hs +++ b/src/Prolog/Interpreter.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Prolog.Interpreter --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - module Prolog.Interpreter ( interpret, program, diff --git a/src/Prolog/Parser.hs b/src/Prolog/Parser.hs index 0636550..66ba683 100644 --- a/src/Prolog/Parser.hs +++ b/src/Prolog/Parser.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Prolog.Parser --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - module Prolog.Parser ( sentence, clause, diff --git a/src/Prolog/Test.hs b/src/Prolog/Test.hs index c6392cb..08eb96b 100644 --- a/src/Prolog/Test.hs +++ b/src/Prolog/Test.hs @@ -1,17 +1,3 @@ ------------------------------------------------------------------------------ --- --- Module : Prolog.Test --- Copyright : --- License : AllRightsReserved --- --- Maintainer : --- Stability : --- Portability : --- --- | --- ------------------------------------------------------------------------------ - module Main ( main, ) where