cmd_let :: String -> IP.IdrisParser (Either String Command)
cmd_let name = do
    defn <- concat <$> P.many (IP.decl defaultSyntax)
    return (Right (NewDefn defn))
cmd_let :: String -> IP.IdrisParser (Either String Command)
cmd_let name = do
    defn <- concat <$> P.many (IP.decl defaultSyntax)
    return (Right (NewDefn defn))
cmd_let name = do
    defn <- concat <$> P.many (IP.decl defaultSyntax)
    return (Right (NewDefn defn))