This repository contains scripts from the PureScript community server. The community server hosts the following services:
- Pursuit package database
- Holly IRC bot
- Try PureScript
- Let's Encrypt
- Nginx
This repository serves as a backup, but might also be helpful to users who want to set up their own copy of the server for development purposes.