I find it's easier to think about Haskell and Purescript as each composed of two languages, one for programming the computer, and one for programming the type checker.
Why is this step necessary? memoryandthought.me might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here