Idris in production?

[Nicolas U]

Does anyone have experience using Idris in production?

[Michael Litchard]

https://github.com/idris-lang/Idris-dev/blob/master/docs/faq/faq.rst

On Mon, Nov 14, 2016 at 6:37 AM, Nicolas U <numias...@gmail.com> wrote:

Does anyone have experience using Idris in production?

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Jan de Muijnck-Hughes]

Dear all;

It is nice to see people have interest concerning Idris use in industry. As Michael has pointed to, we do have a FAQ about Idris' 'production readiness'. 

As far as *I* am aware there are no companies using Idris in production and there are a few researchers, including myself, who are using it for research. 

If any company reading is using it for production and wishes to exalt about it in a impact story then get in touch and we can see about producing one.

 

Jan 

PS As a reminder the user docs located in Idris' source get published to a ReadTheDocs instance, with the FAQs being specifically published to:

    http://idris.readthedocs.io/en/latest/faq/faq.html#is-idris-production-ready

On Mon, 14 Nov 2016 at 20:11 Michael Litchard <mic...@schmong.org> wrote:

https://github.com/idris-lang/Idris-dev/blob/master/docs/faq/faq.rst

On Mon, Nov 14, 2016 at 6:37 AM, Nicolas U <numias...@gmail.com> wrote:

Does anyone have experience using Idris in production?

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.

To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.

To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.