F\* is rad! Idris indeed still has some way to go to be production ready but I l...

Legogris on May 25, 2019 | parent | context | favorite | on: Does open-source cryptographic software work corre...

F* is rad! Idris indeed still has some way to go to be production ready but I like to give it relevant attention when I can. It's like a reimagined Haskell :)