Search Package Index

3 packages found

 PackageDescriptionBuild 

polysemy

Highly experimental and unstable. Attach multiple meanings to an identifier (match expander, function overloads, macros, custom "~literal" tokens…). Rename parts of identifiers (rename only some meanings, leaving others with the original name). Compose hybrid identifiers by mixing the meanings of two or more independently defined identifiers.

Docs:
succeeds0

reprovide-lang

a #lang for reproviding modules

Docs:
succeeds0

require-typed-check

require/typed, but skips contracts on already-typed imports

succeeds0