hasktorch-typed

Features and purpose

Hasktorch type-safe tensor operations with categorical structure preservation. Use when implementing type-safe deep learning in Haskell, leveraging dependent types for tensor shape verification, applying categorical abstractions to neural network design, or building formally verified ML pipelines with strong type guarantees.

Quick start

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.