purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Prepare v7.0.0 release (1st PS 0.15.0-compatible release) #74

Closed JordanMartinez closed 2 years ago

JordanMartinez commented 2 years ago

Description of the change

Backlinking to purescript/purescript#4244. Prepares project for first release that is compatible with PureScript v0.15.0.

:ping_pong: @thomashoneyman

:robot: This is an automated pull request to prepare the next release of this library. PR was created via the Release.purs file. Some of the following steps are already done; others should be performed by a human once the pull request is merged:

JordanMartinez commented 2 years ago

@thomashoneyman Is this ready to merge?