typedtext.io

Logo for typedtext.ioTitle for typedtext.io
Posts
Tags
About
2020-09-06

Hello, World!

Welcome to my blog!

Example code snippet:

foo : Int
foo = 40 + 2
Website written in Idris 2.
Generated to Erlang using Idris2-Erlang.
Built on top of Phoenix Framework.