2023-10-29 00:02:10 +02:00
|
|
|
# The _solar sandbox_
|
2021-04-01 18:35:36 +02:00
|
|
|
|
2023-10-29 00:11:05 +02:00
|
|
|
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/)
|
