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?
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.
Great work!
This is super cool!
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?
ASCII. There ya go.
Audio is Awful!
Was someone using ARM Saturating Math?
:-/
QTT's == temp, Singleton, other ... W00t ;-)
🙏
👍🍻
I'd call it Codified Refactoring...
Pa k inventas na
Friqui
Next unuseful lang? Give me real examples with Domain Driven Design...
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.
make one yourself