cmd_addproof :: String -> IP.IdrisParser (Either String Command)
cmd_addproof name = do
    n <- P.option Nothing $ do
        x <- IP.name
        return (Just x)
    P.eof
    return (Right (AddProof n))
cmd_addproof :: String -> IP.IdrisParser (Either String Command)
cmd_addproof name = do
    n <- P.option Nothing $ do
        x <- IP.name
        return (Just x)
    P.eof
    return (Right (AddProof n))
cmd_addproof name = do
    n <- P.option Nothing $ do
        x <- IP.name
        return (Just x)
    P.eof
    return (Right (AddProof n))