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