interactive
Live syntax, shape, and type checking
Edit a TensorLang module on the left. The checker runs in your browser on every keystroke and reports parse errors, unknown domains, shape mismatches, and dtype violations. It is a lightweight browser checker for declarations, not a replacement for the full CLI.
module.tl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
module summary
module
examples.family
tensorlang
1.3
domains
1
tensors
1
Domains
Person:4
Tensors
parent: Bool[Person, Person]rank 2
Errors
No errors.
Warnings
No warnings.
What's checked?
- S-expression syntax (balanced parens, strings, numbers)
- Top-level (module name) and (tensorlang "version")
- Domain (size N) positivity and label-count parity
- Tensor (type T) against known dtypes (Bool/I64/F32/F64/Int/Nat/Float/Real/Prob)
- Tensor (shape D1 D2 ...) against declared domains
- Rank-2 (data (row ...)) row count, column count, and per-cell dtype
- Duplicate domain / tensor names