You're viewing a single thread.
View all comments
94
comments
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.
3 0 Reply
You've viewed 94 comments.
Scroll to top