Docs

Reference

This folder contains the per-module / per-tool reference documentation. The Language Guide is the place to start; each chapter there links into the relevant pages here. Use Guide chapters for tutorial chapter deep dives. This folder is for module, tool, and runtime/internal reference only.

Language & runtime

Page	Topic
Modules	Module system, `import` / `export` clause forms
Runtime & GC	VM data model, GC, intern table
Eval	Runtime expression evaluation with lexical scope
Bytecode VM	Bytecode opcode catalogue
Compiler	`etac` AOT compiler
NaN-Boxing	NaN-boxed value layout
Optimisations	Optimisation pass list
Eigen Backend	Eigen backend internals used by numeric modules
Finalizers	Object-lifetime hooks

Standard-library modules

Page	Module
Logic	`std.logic`
CLP(FD)	`std.clp` (CLP(FD))
CLP(R)	`std.clpr` (CLP(R))
CLP(B)	`std.clpb` (CLP(B))
Freeze	`std.freeze`
Datalog	`std.db` (Datalog)
Fact Table	`std.fact_table`
Hash Map	`std.hashmap`
Atom	`std.atom`
Regex	`std.regex`
CSV	`std.csv`
JSON	`std.json`
Filesystem	`std.fs`
OS	`std.os`
Logging	`std.log`
Time	`std.time`
Stats	`std.stats`
AAD	`std.aad`
Torch	`std.torch`
Causal	`std.causal` (+ `.admg`, `.identify`, `.adjustment`, `.mediation`, `.transport`, `.estimate`, `.learn`, `.render`)
Causal Counterfactual	`std.causal.counterfactual`
Message Passing	Actor model
Networking	nng primitives
Network Message Passing	Cross-machine actors
Supervisor	`std.supervisor`

Tooling

Page	Tool
REPL	`eta_repl` interactive prompt
VS Code	VS Code extension
Jupyter	`eta_jupyter` kernel
Profiling	Profiler usage (`eta prof`, `std.prof`, `%%prof`, `:prof`)

Numerical Examples

Page	Worked example
European options	Black–Scholes Greeks via AAD
SABR	SABR vol surface, Hagan formula
XVA	CVA / FVA via AAD

For the featured end-to-end engines see Portfolio and XVA with WWR.