Skip to content

README.md

Latest commit

 

History

History
26 lines (20 loc) · 1022 Bytes

README.md

File metadata and controls

26 lines (20 loc) · 1022 Bytes
Raw

Examples

./examples is a small tynix showcase project with runnable, checkable samples.

Quick commands:

tynix check ./examples/main.tynix
tynix check-project ./examples
tynix check ./examples/polymorphism/hkt-map.tynix
tynix check ./examples/interop/inline-declare.tynix

Catalog:

  • main.tynix: a compact "hello tynix" entry point using builtins.map
  • basics/: literals, lets, lambdas, records, lists, and conditionals
  • gradual/: any, unknown, dynamic, casts, and diagnostic directives
  • polymorphism/: forall, unions, higher-kinded aliases, tuples, and linear arrows
  • indexed/: Vec, Matrix, Tensor, Range, and Unit
  • interop/: inline declarations, ambient .d.tynix files, and untyped imports
  • legacy/: plain .nix files used by the interop examples
  • support/: workspace declarations for builtins, legacy modules, and tynix.config.tynix

The top-level tynix.config.tynix is wired so tynix check-project ./examples walks the sample set as one project.