# v0.6

-   new features
    -   support mutual constant and function definitions
    -   support pattern type annotations
    -   support guards + where
    -   support view patterns
    -   support pattern guards
    -   support as-patterns
    -   implement pattern match reachability and exhaustiveness warnings 
    -   support parsing only
    -   support printing desugared source code
-   improvements
    -   allow pattern match on tuple types
    -   implement constraint kinds (useful for type classes)
    -   improve pretty printing
    -   better presentation of types in editor tooltips
    -   better error messages (e.g. for mismatching operator fixities)
    -   speedup the builtin interpreter in the compiler
-   bugfixes
    -   fix local function handling
    -   fix parens around operators
    -   fix parsing of operator definitions
    -   fix parsing of sections
    -   fix parsing of literals
    -   fix switching to type namespace after @
    -   fix a bug in escape code parsing
-   documentation
    -   reorganise and cleanup the compiler sources
    -   begin to write developer's guide
    -   documentation on pattern match compilation
-   dependencies
    -   use megaparsec 5.0
    -   switch to ansi-wl-pprint
    -   allow newer base, optparse-applicative and QuickCheck libraries
-   other
    -   move the TODOs to Trello: https://trello.com/b/TcuVPBAR/lambdacube3d
    -   work on prototypes
        -   Reducer.hs -- experiment with lazy evaluation in the ST monad
        -   ShiftReducer.hs -- experiment with lazy evaluation purely, with incremental GC
        -   LamMachine.hs -- experiment with lazy evaluation purely, with incremental GC (next version)
        -   Inspector.hs -- a tool for inspect the state of LamMachine, intended for debugging/visualizing lazy evaluation
        -   LamMachineV2.hs -- experiment with lazy evaluation in the ST monad, with explicit, generational GC


# v0.5

-   compiler
    -   support local pattern matching functions
    -   support recursive local definitions
    -   more polymorph type for equality constraints
        (~) :: forall a . a -> a -> Type
    -   tuples are representated as heterogeneous lists
    -   support one-element tuple syntax: (( element ))
    -   reduction: don't overnormalize (String -/-> [Char])
    -   compiler optimization: names have Int identifiers
-   libraries/OpenGL API
    -   use the advantage of heterogeneous lists
        (simplified and more complete type family instances)
    -   needed to explicitly denote one-element attribute tuples
    -   set programmable point size with ProgramPointSize
    -   use lists instead of streams
    -   rename
        -   fetch_ --> fetch; fetchArrays_ --> fetchArrays
        -   zeroComp --> zero; oneComp --> one
-   codegen
    -   generate functions in shaders (previously functions were inlined)
    -   normalized variable names in the generated pipeline
    -   optimization: remove duplicate shader programs
    -   pretty printed shader programs
    -   include compiler version in the generated pipeline as a string info field
-   testenv
    -   performance benchmarks (time and memory consumption)
-   other
    -   parsec dependency changed to megaparsec
    -   registered on stackage too (next to HackageDB)


# v0.4 - tagged on Feb 5, 2016

-   compiler
    -   support type synonyms
    -   support simple import lists (hiding + explicit)
    -   support multiple guards
    -   handle constructor operator fixities, also in patterns
    -   definitions are allowed in any order (not just bottom-up)
    -   desugar node definitions (more robust, previously node definition handling was ad-hoc)
    -   support qualified module imports
    -   better tooltip ranges & types
    -   bugfix: fix looping in type checking of recursive definitions
-   compiler optimization
    -   separate types and values (vs. church style lambda)
    -   separate use of neutral terms
    -   erease lambda variable type
    -   erease univ. pol. arguments of constructors
    -   erease univ. pol. arguments of case functions
    -   speed up 'eval' function
    -   tried to speedup with cache max. de bruin indices
    -   use less 'try' in parser
-   libraries
    -   always put base library modules to include path
    -   OpenGL API: simplify CullMode: remove FrontFace it is always ccw
    -   OpenGL API: simplify Depth images handling
-   testenv
    -   language feature tests framework
-   other
    -   released on HackageDB


# v0.3 - tagged on Jan 18, 2016

-   compiler
    -   complete rewrite from scratch
    -   use De Bruijn indices instead of String names
    -   pattern match compilation
    -   compositional type inference is replaced by a zipper-based approach
        which plays better together with dependent types
-   libraries/OpenGL API
    -   interpolation handling is decoupled from vertex shader descriptions
    -   introduce Stream data type; use just two types of streams instead of 4
-   testenv
    -   use Travis CI (continuous integration) with a docker image
    -   timeout for tests


# first DSL compiler - tagged on Jun 14, 2015

-   supports a fair amount of Haskell98 language features
-   partially supports GADTs and type families
-   supports explicit type application
-   supports row polymorphism and swizzling
-   uses compositional typing for better error messages
-   OpenGL API provided in attached Builtins and Prelude modules
-   generates LambdaCube3D IR (intermediate representation)