Skip to content

Instantly share code, notes, and snippets.

Avatar
💭
🔭

Mauro Bieg mb21

💭
🔭
View GitHub Profile
View upgrade_to_0.12.md

How to upgrade to Purescript 0.12

Before we begin, the type search in Pursuit is a great way to search for the functions you need.

Reset your tooling by deleting the bower_components/, .psci_modules/, .pulp-cache/, .psc-package/ and output/ folders. Then run psc-package build --only-dependencies.

Import changes and effects

Using sed or your other favourite global replace tool to search and replace all occurences in the list

@datagrok
datagrok / git-serve.md
Last active Dec 3, 2020
How to easily launch a temporary one-off git server from any local repository, to enable a peer-to-peer git workflow.
View git-serve.md