Skip to content

Fix warnings revealed by v0.14.1 PS release - #133

Merged
thomashoneyman merged 3 commits into
purescript-contrib:mainfrom
JordanMartinez:fixWarnings
Apr 19, 2021
Merged

thomashoneyman merged 3 commits into
purescript-contrib:mainfrom
JordanMartinez:fixWarnings

Commits

  1. Commits on Apr 19, 2021