2024-01-07
        * Version bump (3.18.1). (#493)

2024-01-07
        * Version bump (3.18). (#487)

2023-11-07
        * Version bump (3.17). (#466)
        * Compliance with style guide. (#457)

2023-09-07
        * Version bump (3.16.1). (#455)

2023-07-07
        * Version bump (3.16). (#448)

2023-05-07
        * Version bump (3.15). (#438)
        * Remove Copilot.Core.Type.Equality. (#427)
        * Remove Copilot.Core.PrettyPrint. (#426)

2023-03-07
        * Version bump (3.14). (#422)
        * Remove Copilot.Core.PrettyDot. (#409)
        * Fix formatting error in CHANGELOG. (#414)
        * Remove module space Copilot.Core.Interpret. (#410)
        * Remove unused definitions from Copilot.Core.Type.Array. (#411)

2023-01-07
        * Version bump (3.13). (#406)
        * Implement missing cases of type equality for arrays and structs.
          (#400)
        * Remove Copilot.Core.External. (#391)
        * Fix bug in definition of simpleType for Int8. (#393)
        * Hide module Copilot.Core.Type.Show. (#392)

2022-11-07
        * Version bump (3.12). (#389)
        * Deprecate Copilot.Core.PrettyPrinter. (#383)
        * Replace uses of Copilot.Core.Type.Equality with definitions from
          base:Data.Type.Equality; deprecate Copilot.Core.Type.Equality. (#379)
        * Compliance with style guide. (#332)

2022-09-07
        * Version bump (3.11). (#376)
        * Deprecate Copilot.Core.PrettyDot. (#359)
        * Remove Copilot.Core.Type.Dynamic. (#360)
        * Split copilot-interpreter into separate library. (#361)
        * Deprecate unused classes, functions from Array module. (#369)

2022-07-07
        * Version bump (3.10). (#356)
        * Fix error in test case generation; enable CLI args in tests. (#337)
        * Remove unnecessary dependencies from Cabal package. (#324)
        * Deprecate Copilot.Core.External. (#322)
        * Remove duplicated compiler option. (#328)
        * Hide type Copilot.Core.Type.Show.ShowWit. (#348)
        * Deprecate Copilot.Core.Type.Show. (#330)
        * Update repo info in cabal file. (#333)

2022-05-06
        * Version bump (3.9). (#320)
        * Compliance with style guide (partial). (#316)
        * Hide module Copilot.Core.Interpret.Render. (#303)
        * Remove Copilot.Core.Type.Dynamic.fromDynF,toDynF. (#301)
        * Hide module Copilot.Core.Error. (#300)
        * Remove Copilot.Core.Type.Uninitialized. (#302)
        * Remove Copilot.Core.Expr.Tag. (#304)

2022-03-07
        * Version bump (3.8). (#298)
        * Replaces uses of the internal Dynamic with base:Data.Dynamic. (#266)
        * Mark package as uncurated to avoid modification. (#288)

2022-01-07
        * Version bump (3.7). (#287)
        * Make imports explicit, reorganize imports. (#277)
        * Remove Copilot.Core.Type.Read. (#286)
        * Remove Copilot.Core.Type.Eq. (#285)
        * Remove Copilot.Core.Locals. (#284)
        * Deprecate Copilot.Core.Type.Show.ShowWit. (#283)
        * Remove Copilot.Core.Type.Show.showWit. (#282)

2021-11-07
        * Version bump (3.6). (#264)
        * Deprecate Copilot.Core.Type.Dynamic.toDynF and fromDynF. (#269)
        * Deprecate copilot-core:Copilot.Core.Type.Uninitialized. (#270)
        * Deprecate export of copilot-core:Copilot.Core.Interpret.Render. (#268)
        * Replace uses of copilot-core's error reporting functions. (#267)
        * Introduce new ops atan2, ceiling, floor. (#246)
        * Add initial support for unit testing. (#256)
        * Deprecate unused type. (#260)
        * Remove deprecated module. (#250)
        * Fix outdated/broken links. (#252)

2021-08-19
        * Version bump (3.5). (#247)
        * Update travis domain in README. (#222)
        * Remove commented code. (#15)
        * Update official maintainer. (#236)
        * Update source repo location. (#241)
        * Add I. Perez to author list. (#243)

2021-07-07
        * Version bump (3.4). (#231)
        * Deprecated `Copilot.Core.Locals`. (#141)
        * Deprecated `Copilot.Core.Type.Read` module. (#144)
        * Deprecated `showWit`. (#140)
        * Deprecated `Copilot.Core.Type.Eq`. (#143)
        * Remove unused module `Copilot.Core.StructMarshal`. (#139)

2021-05-07
        * Version bump (3.3). (#217)
        * Fix URL in bug-reports field in cabal file. (#215)
        * Deprecate unused module Copilot.Core.MakeTags. (#142)
        * Deprecate unused functions in Copilot.Core.PrettyDot. (#137)

2021-03-05
        * Version bump (3.2.1). (#136)
        * Completed the documentation. (#145)

2020-12-06 Ivan Perez <ivan.perez@acm.org>
        * Version bump (3.2).
        * Fixed implementation of tysize for n-dimensional arrays. (#147).
        * Removed sorting of interpreter output (#148).
        * Minor documentation fixes (#149, #151).
        * Credits: @fdedden.

2019-11-22 Ivan Perez <ivan.perez@nianet.org>
        * Version bump (3.1).
        * Eliminate random modules and generators (#157).
        * Updated contact information for 'impossible' error (#154).
        * Implement missing pretty printer for Index operator (#155).
