# The _solar sandbox_

This repository contains numerous experiments of mine which do not deserve their own repositories. It exists for archival purposes.

## Navigation

The experiments are currently organized based on the language they use:

- [Purescript](./purescript/)
- [Typescript](./typescript/)
- [Lean](./lean/)
- [Idris](./idris/)