Thoughts on Idris?
botnet
>>62113664
Anyone else that isn't a meme master children?
It looks really neat but I'm too dumb to use it and there have been plenty of technically superior dialects of variants of haskell that have fallen flat on their face in the past already, including some with dependent typing.
>>62113656
Part time single person project, worst meme than rust