Edwin Brady - Idris 2 - Type-driven Development of Idris

[@mortenbrodersen8664]

Great work!

[@isaacvandoren4733]

This is super cool!

[@user-ux3bo6nt6m]

Is it possible to obtain a code, demonstrated by Edwin in this video? Idris 2 supported by language-idris plugin for Atom, or this is some custom plugin?

[@RogerBarraud]

ASCII. There ya go.

[@bibliusz777]

🙏

[@steven-t-e-shaw]

👍🍻

[@RogerBarraud]

QTT's == temp, Singleton, other ... W00t ;-)

[@RogerBarraud]

Audio is Awful!
Was someone using ARM Saturating Math?
:-/

[@RogerBarraud]

I'd call it Codified Refactoring...

[@franciscofernandez5466]

Pa k inventas na

[@franciscofernandez5466]

Friqui

[@cya3mdirl158]

Next unuseful lang? Give me real examples with Domain Driven Design...

[@sp-niemand]

Proof of concept languages like this one become the foundation for the future of programming languages, even if they are not very popular themselves in the industry. A bit more respect please.

[@mrdarky3377]

make one yourself