Zigma

3 ms·

1. 1.▲
   by Zigma 6y ago

   I assume that you mean a code generator for Idris 2. I think the easiest way to get going is to start from an existing code generator. Idris 2 currently supports: Chez Scheme, Racket, Gambit Scheme and JavaScript. Pick the language you are
2. 2.▲
   by Zigma 6y ago

   Thanks! 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 ). I would also like to su
3. 3.▲
   by Zigma 6y ago

   Idris 2 is implemented in Idris 2! See https://www.idris-lang.org/idris-2-version-020-released.html It should still be possible to bootstrap Idris 2 from Idris 1, via Idris2-boot ( https://github.com/edwinb&#
4. 4.▲
   by Zigma 6y ago

   Using the Erlang code generator for Idris 2 I was able to build the following website: https://www.typedtext.io The website includes a blog post about how the website was built: https://www.typedtext.io/posts&#x2
5. 5.▲
   Show HN: Erlang code generator for Idris 2(github.com)

   98 points by Zigma 6y ago|13 comments