- 🔭 I’m currently working on an open source time tracker
- 📝 Checkout my website!
A passionate fullstack enginneer from France 🇫🇷
Rust & Typescript ❤️
Pinned Loading
-
-
Irie-lang
Irie-lang PublicForked from jfaure/Irie-lang
Array oriented Calculus of Subtyping Constructions
Haskell
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.