New favorite tool 😍

  • @bss03
    link
    31 month 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.