Robuta

https://lists.fedoraproject.org/archives/list/haskell-devel@lists.fedoraproject.org/thread/WGKWUNXXVRIAL4SGOV5ZZI6JK3POVGJX/ [Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types -... review request functional programming bug idris