5 ms·
Using the Erlang code generator for Idris 2 I was able to build the following website: https://www.typedtext.io https://www.typedtext.io The website includes a
by Zigma 6y ago
Using the Erlang code generator for Idris 2 I was able to build the following website: https://www.typedtext.io https://www.typedtext.io
The website includes a blog post about how the website was built: https://www.typedtext.io/posts/view?id=2 https://www.typedtext.io/posts/view?id=2
- ch4s3 6y agoThis is really impressive. IS there anything else you're using Idris for in the context of Elixir/Erlang?
- Zigma 6y agoThanks! Not yet, but I am interested in building a web framework that is inspired by Phoenix Framework (I really like the Plug abstraction) and Hyper (https://github.com/purescript-hyper/hyper https://github.com/purescript-hyper/hyper). I would also like to support Phoenix LiveView in some shape or form.
- ch4s3 6y agothat is very cool.