New favorite tool 😍

  • bss03@infosec.pub
    link
    fedilink
    arrow-up
    3
    ·
    6 months 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.