import React from "react"; import { NextPage } from "next"; import Head from "next/head"; import { Mainframe } from "../../ui/Mainframe"; import LangProvider from "../../languages/brainfuck"; const LANG_ID = "brainfuck"; const LANG_NAME = "Brainfuck"; const IDE: NextPage = () => { return ( <>