New favorite tool 😍

  • @bss03
    link
    325 days ago

    Late to the party. Idris had a bash backend (i.e. you could compile Idris to bash), and it’s already bit rotted with new Idris versions.

    I hope the language is at least as cool as Idris.