diff --git a/README.md b/README.md index 10439fc..9089dd1 100644 --- a/README.md +++ b/README.md @@ -41,11 +41,72 @@ The main idea is to use these new languages to solve relevant problems! ``` ## Current language goals - -| Language | Idea | Category | Algorithmics? | Practical? | Course? | -| --- | --- | --- | --- | --- | --- | -| ![Rust](https://upload.wikimedia.org/wikipedia/commons/thumb/2/20/Rustacean-orig-noshadow.svg/220px-Rustacean-orig-noshadow.svg.png) | Daily drive | General | ✅ | ✅ | ❌ | -| ![Swift](https://raw.githubusercontent.com/devicons/devicon/master/icons/swift/swift-original.svg) | Daily drive | General | ✅ | ✅ | ❌ | -| ![Haskell](https://raw.githubusercontent.com/devicons/devicon/master/icons/haskell/haskell-original.svg)| Understand functional programming | Theory | ✅ | ❌ | ✅ | -| ![Coq](https://dashboard.snapcraft.io/site_media/appmedia/2021/01/coq.png)| Understand formal verification | Theory | ❌ | ❌ | 🤷 | -| ![Futhark](https://hackage.haskell.org/package/futhark-0.25.28/docs/assets/ohyes.png)| Understand data parallelism | Theory/Fun | ❌ | ❌ | ❌ | + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
LanguageIdeaCategoryAlgorithmics?Practical?Course?
+ Rust + Daily driveGeneral
+ Swift + Daily driveGeneral
+ Haskell + Understand functional programmingTheory
+ Coq + Understand formal verificationTheory🤷
+ Futhark + Understand data parallelismTheory/Fun
+ +