2 ms·
This is really impressive. IS there anything else you're using Idris for in the context of Elixir/Erlang?
by ch4s3 6y ago
This 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.