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

2024-01-07
        * Version bump (3.18). (#487)
        * Add type annotation to help type inference engine. (#469)
        * Rename forall to forAll. (#470)

2023-11-07
        * Version bump (3.17). (#466)

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

2023-07-07
        * Version bump (3.16). (#448)
        * Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)

2023-05-07
        * Version bump (3.15). (#438)
        * Remove outdated comment about pretty-printer. (#428)

2023-03-07
        * Version bump (3.14). (#422)
        * Remove function Copilot.Language.prettyPrint. (#412)
        * Adjust to work with GHC 9.4. (#423)

2023-01-07
        * Version bump (3.13). (#406)

2022-11-07
        * Version bump (3.12). (#389)
        * Use pretty-printer from copilot-prettyprinter. (#383)

2022-09-07
        * Version bump (3.11). (#376)
        * Deprecate prettyPrint. (#362)
        * Reimplement DynStableName without unsafeCoerce. (#262)
        * Use interpreter from copilot-interpreter. (#361)
        * Remove unnecessary type constraints. (#369)

2022-07-07
        * Version bump (3.10). (#356)
        * Fix error in test case generation; enable CLI args in tests. (#337)
        * Remove duplicated compiler option. (#328)
        * Adjust imports due to deprecation. (#330)
        * Fix typos in Copilot.Language.Interpret. (#331)
        * Update repo info in cabal file. (#333)

2022-05-06
        * Version bump (3.9). (#320)
        * Compliance with style guide (partial). (#316)

2022-03-07
        * Version bump (3.8). (#298)
        * Introduce testing infrastructure. (#271)
        * Remove deprecated module Copilot. (#291)
        * Remove deprecated type StructArg. (#290)
        * Mark package as uncurated to avoid modification. (#288)

2022-01-07
        * Version bump (3.7). (#287)
        * Bring back externF. (#261)

2021-11-07
        * Version bump (3.6). (#264)
        * Replace uses of copilot-core's error reporting functions. (#267)
        * Introduce new ops atan2, ceiling, floor. (#246)
        * Remove deprecated function. (#250)
        * Fix outdated/broken links. (#252)

2021-08-19
        * Version bump (3.5). (#247)
        * Update travis domain in README. (#222)
        * Remove ghc-prim dependency from copilot-language. (#220)
        * Remove commented code. (#15)
        * Deprecate structArg. (#111)
        * Update source repo location. (#241)
        * Deprecate module Copilot. (#107)
        * Add I. Perez to author list. (#243)

2021-07-07
        * Version bump (3.4). (#231)

2021-05-07
        * Version bump (3.3). (#217)
        * Remove unused type. (#110)
        * Deprecate funArg. (#109)
        * Update contact details in error message. (#108)

2021-03-07
        * Version bump (3.2.1). (#106)
        * Completed the documentation. (#112)

2020-05-07
        * Version bump (3.2).
        * Fixed the reverse order of triggers (#114).
        * Update description, bug-reports, changelog fields in cabal file
          (#116).
        * Bump ghc-prim version bounds (#122).

2019-11-22 Ivan Perez <ivan.perez@nianet.org>
        * Version bump (3.1).
        * Remove ExternFun (#118).
