justinwoo/purescript-resources

This is a repository for a docs site on how to figure things out in PureScript as recommended by me.

paf31/purescript-book

Sources for the PureScript book

isovector/thinking-with-types

📖 source material for Thinking with Types

natefaubion/purescript-cst

A concrete-syntax tree and parser for the PureScript language

bcpeinhardt/learn_otp_with_gleam

A resource for learning the OTP framework with the Gleam programming language

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)