- 20 Mar, 2017 3 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
Conflicts: src/Base/CurryTypes.hs src/Base/Expr.hs src/Base/TopEnv.hs src/Base/TypeSubst.hs src/Base/Types.hs src/Base/Typing.hs src/Base/Utils.hs src/Checks.hs src/Checks/ExportCheck.hs src/Checks/ImportSyntaxCheck.hs src/Checks/InterfaceCheck.hs src/Checks/InterfaceSyntaxCheck.hs src/Checks/KindCheck.hs src/Checks/PrecCheck.hs src/Checks/SyntaxCheck.hs src/Checks/TypeCheck.hs src/Checks/WarnCheck.hs src/CompilerEnv.hs src/CompilerOpts.hs src/CurryDeps.hs src/Env/Interface.hs src/Env/TypeConstructor.hs src/Env/Value.hs src/Exports.hs src/Generators.hs src/Generators/GenAbstractCurry.hs src/Generators/GenFlatCurry.hs src/Html/SyntaxColoring.hs src/IL/Pretty.hs src/IL/ShowModule.hs src/IL/Type.hs src/Imports.hs src/Modules.hs src/Transformations/CaseCompletion.hs src/Transformations/CurryToIL.hs src/Transformations/Desugar.hs src/Transformations/Lift.hs src/Transformations/Qual.hs src/Transformations/Simplify.hs
-
- 17 Mar, 2017 5 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
- 03 Feb, 2017 2 commits
-
-
Jan Rasmus Tikovsky authored
-
Jan Rasmus Tikovsky authored
-
- 02 Feb, 2017 1 commit
-
-
Kirchmayr authored
-
- 01 Feb, 2017 1 commit
-
-
Kirchmayr authored
-
- 13 Jan, 2017 1 commit
-
-
Finn Teegen authored
-
- 06 Jan, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 22 Dec, 2016 1 commit
-
-
Michael Hanus authored
-
- 21 Dec, 2016 8 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
curry-frontend.cabal: Post-release version fix in .cabal file. Unfortunately, there were more locations in curry-frontend.cabal that needed to be bump to 0.4.2 prior to tagging this repo with v0.4.2. Before 0.4.3 release similar changes need to be applied to curry-frontend.cabal. (Basically a sed -e 's/== 0.4.2/== 0.4.3/g' -i curry-frontend.cabal). See merge request !3
-
Mike Gabriel authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
file headers: Replace non-license name OtherLicense by the license name of what … …is found in the LICENSE file. Please merge this proposed changes and release 0.4.2 of curry-frontend. Similar to what we did for curry-base prior to the official Debian upload. Greets, Mike See merge request !2
-
Mike Gabriel authored
file headers: Replace non-license name OtherLicense by the license name of what is found in the LICENSE file.
-
- 14 Dec, 2016 2 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
- 13 Dec, 2016 1 commit
-
-
Finn Teegen authored
-
- 25 Nov, 2016 2 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
- 17 Nov, 2016 1 commit
-
-
Finn Teegen authored
-
- 16 Nov, 2016 2 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
- 04 Nov, 2016 2 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
- 03 Nov, 2016 5 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
-
- 02 Nov, 2016 1 commit
-
-
Finn Teegen authored
-