[Fedora-haskell-list] [Bug 710031] Review Request: ghc-Agda - Dependently typed functional programming language