This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| interface FormatDescriptor { | |
| id: string; | |
| defaultTemplate?: string; | |
| } | |
| export type Formatted = | |
| | { kind: 'text'; value: string } | |
| | { kind: 'sequence'; items: Formatted[] } | |
| | { kind: 'object'; items: Record<string, Formatted> }; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| export type DestructureTuple<T extends any[]> = T extends [] | |
| ? false | |
| : ((...tuple: T) => void) extends (( | |
| first: infer TFirst, | |
| ...rest: infer TRest | |
| ) => void) | |
| ? { first: TFirst; rest: TRest } | |
| : false; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import * as remarkAbstract from "remark"; | |
| interface Position {} | |
| interface Node<T extends string = string> { | |
| position: Position; | |
| type: T; | |
| } | |
| interface NodeList<T extends string = string, TItem extends Node = Node> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import * as React from "react"; | |
| import { Container } from "inversify"; | |
| export function ref<T>(name: string): { T: T; id: string } { | |
| return { | |
| T: null!, | |
| id: name | |
| }; | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| a | |
| aaaaababb | |
| ababa | |
| abababa | |
| b | |
| babab | |
| babababab |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // tslint:disable: no-shadowed-variable | |
| /** | |
| * Describes a new configuration. | |
| */ | |
| export function newConfig(): Config { | |
| return new (Config as any)(); | |
| } | |
| /** |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // shared | |
| export const debuggerProxyContract = contract({ | |
| server: { | |
| keepAlive: notificationContract({}), | |
| }, | |
| client: { | |
| serverStarted: notificationContract({ params: type({ port: number }) }), | |
| clientConnected: notificationContract({}), | |
| }, | |
| }); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type SchemaType = PrimitiveSchema | ObjectSchema | ParametrizedObjectSchema; | |
| interface PrimitiveSchema<T = any> { | |
| kind: "primitive"; | |
| type: T; | |
| } | |
| interface Fields { | |
| [name: string]: SchemaType; | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function tex(str: TemplateStringsArray, ...data: string[]) { } | |
| const c = Sigma* *1 | |
| const Sigma = "uiae"; | |
| const SigmaS = ""; | |
| const x = | |
| ( | |
| <def> | |
| Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung | |
| {A : Sigma* -> Pot(Gamma*)} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "dependencies": { | |
| "classnames": { | |
| "ref": "classnames@2.2.5_1" | |
| }, | |
| "mobx": { | |
| "ref": "mobx@3.2.0_2" | |
| }, | |
| "mobx-react": { | |
| "ref": "mobx-react@4.2.2_3" |