12 lines
312 B
Markdown
12 lines
312 B
Markdown
# 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/)
|
|
- [Lean](./lean/)
|
|
- [Idris](./idris/)
|