New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Statebox #9

Merged

ajnsit merged 2 commits into ajnsit:master from wires:add-statebox

Apr 24, 2019

Contributor

wires commented Apr 24, 2019 •

edited

Loading

Hi,

I'm the founder/CEO of Statebox, we work mainly in Purescript and Idris.

Me and @epost were probably some of the first people in the Netherlands to run purescript in production at the now defunct https://github.com/tinkerTravel

wires added 2 commits

April 24, 2019 15:13


          Added Statebox

21964d5


          Updated to refer to corporate site

0ba2506

ajnsit merged commit f53c15a into ajnsit:master

Owner

ajnsit commented Apr 24, 2019

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet