Website written in Idris 2.

Generated to Erlang using Idris2-Erlang.

Built on top of Phoenix Framework.