research/dope2-webapp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Let ... in ... block autocomplete also sorted by best 'match', type-wise

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-16 08:51:58 +02:00
parent 2d81e42447
commit 8abbac4bc9
7 changed files with 66 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/LambdaBlock.tsx
View file

@ -7,5 +7,8 @@ export interface LambdaBlockState {
kind: "lambda";
paramName: string;
expr: EditorState;
resolved: ResolvedType;
}
export function LambdaBlock {
}