typedtext.io

Logo for typedtext.ioTitle for typedtext.io

Blog content

On this blog I will mainly write about:

About me

I am a developer that like to build web {sites,apps,services} and iOS apps. In 2014 I started to get into functional programming, learning languages like Erlang/Elixir, Elm, Haskell and Idris. These days I focus my learning on Idris 2, and trying to make Idris 2 into a viable option for web development.

More information: