UniquenessExternal LinkEnforces that certain values are used only once, allowing optimizations like in-place updates in functional programming.DetailsGeneralHomeExternal LinkPlangsCleanFutharkPlangsNameDescriptionCleanFunctional programming language known for uniqueness typing and lazy evaluation.FutharkFunctional, parallel programming language optimized for high-performance GPU and CPU execution.