MCPcopy Index your code
hub / github.com/domdomegg/hindley-milner-typescript-minimal

github.com/domdomegg/hindley-milner-typescript-minimal @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
28 symbols 63 edges 6 files 0 documented · 0%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Extension points exported contracts — how you extend this code

VariableExpression (Interface)
(no doc)
models.ts
ApplicationExpression (Interface)
(no doc)
models.ts
AbstractionExpression (Interface)
(no doc)
models.ts
LetExpression (Interface)
(no doc)
models.ts
TypeVariable (Interface)
(no doc)
models.ts

Core symbols most depended-on inside this repo

newTypeVar
called by 9
helper.ts
makeContext
called by 6
models.ts
makeSubstitution
called by 6
helper.ts
freeVars
called by 3
helper.ts
unify
called by 3
helper.ts
isContext
called by 2
models.ts
instantiate
called by 2
helper.ts
generalise
called by 2
helper.ts

Shape

Function 21
Interface 7

Languages

TypeScript100%

Modules by API surface

helper.ts10 symbols
models.ts9 symbols
parser.ts7 symbols
w.ts1 symbols
m.ts1 symbols

For agents

$ claude mcp add hindley-milner-typescript-minimal \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page