Learning new languages and documenting my journey

Repository which documents my journey in learning new languages.

Currently learning:

Rust Haskell Swift Coq

(and C++, but that is gonna happen in embedded systems, so I won't document it here)

Idea

I will spend about 5 hours a week learning each language. This is NOT a priority, but rather a side project to keep me entertained and to learn new things.

The main idea is to use these new languages to solve relevant problems!

Structure

.
├── language
│   ├── sessions -- if I am doing a course or something
│   │   ├── 13_03 -- date (dd_mm)
│   │   │   ├── notes.md
│   │   │   └── exercises/ -- if I have any
│   |-- algorithmic -- if I am doing algorithmic problems
|   |-- practical -- if I decide to do something practical (usually documentation and a submodule of the main repo)
│   |-- README.md -- main README

Current language goals

Language	Idea	Category	Algorithmics?	Practical?	Course?
Rust	Daily drive	Embedded	❌	✅	❌
Swift	Daily drive	General	✅	✅	❌
Haskell	Understand functional programming	Theory	✅	❌	✅
Coq	Understand formal verification	Theory	❌	❌	❌