[satvikpendem]

What are your thoughts on Idris and other Haskell derivatives? As well as the HVM and its Lisp-like Haskell-like combo of a language [0]?

[0] https://github.com/HigherOrderCO/hvm