typedtext.io

Logo for typedtext.ioTitle for typedtext.io
2020-09-28

Initial release of the Erlang code generator for Idris 2

Read the announcement at elixirforum.com.

The Erlang code generator for Idris 2 is available on GitHub.

The following packages are now available on Hex:

  • idris2 — The Idris 2 compiler running on the Erlang VM [Hex]
  • mix_idris2 — Mix compiler to help compile Idris 2 code in Elixir projects [Hex]

A big thank you to:

  • @yurrriq — For adding support for building the Erlang code generator via Nix, and for adding a Nix workflow!
  • @tipsy — For making the logo for this website, for improving the design, and making the website mobile friendly!
2020-09-21

How was this website built?

Ever since I started working on the Erlang code generator for Idris 2, my goal has been to be able to build websites and web services written in Idris 2. This website is an attempt at doing just that.

By using the Erlang code generator I am able to access functionality from the Erlang ecosystem. This is important, as I would not be able to write all the building blocks (like a web server) that are necessary to make even a simple website.

Read more →

2020-09-06

Hello, World!

Welcome to my blog!

Example code snippet:

foo : Int
foo = 40 + 2