You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

24 lines
857 B

<!doctype html>
<html lang="en">
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link href=";400;500;600;700&display=swap" rel="stylesheet">
<link rel="stylesheet" href="/css/default.css" />
<body class="hack">
<div class="main container">
new<b id="T"><u>t</u></b
><b id="Y"><u>y</u></b
><b id="P"><u>p</u></b
><b id="E"><u>e</u></b
><b id="bropen" ><u>(</u></b
><b id="brclose"><u>)</u></b><span id="hidden"> { newtype | newtype& }; newtype</span>