From 49a64610638be6b35fb94193d86a1e9ee74f7b54 Mon Sep 17 00:00:00 2001 From: Matei Adriel Date: Sun, 29 Oct 2023 00:11:05 +0200 Subject: [PATCH] Update README --- README.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 781f436..29c2ad4 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,11 @@ # The _solar sandbox_ -This is a repository containing random things I am messing around with which don't deserve their own repository. +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/)