Typedtext.io
Nov 28, 2020
A blog for writing about technical stuff.
The website is written in Idris 2. The Idris 2 code is generated to Erlang using my Idris2-Erlang project. The Erlang code then runs on top of Phoenix Framework.
Technologies
- idris
- erlang
- html
- css
- phoenix-framework