#define #husk #language #system #internal #type-checker

husk-types

Type definitions for the Husk programming language

1 unstable release

Uses new Rust 2024

0.1.1 Dec 6, 2025

#2003 in Programming languages


Used in 4 crates (2 directly)

MIT license

6KB
108 lines

Core type system representations for Husk.

This crate defines the internal type language used by the type checker.

No runtime deps