I like to code, especially functional programming stuff!
- Stockholm, Sweden
- https://karloskar.dev/
Block or Report
Block or report funrep
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
-
-
-
Idris-dev Public
Forked from idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Haskell