5 results
Support for well-typed paths
Combinators for working with sums
Core data structures and operations
An efficient packed Unicode text type.
A configuration language guaranteed to terminate