Search Package Index

5 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

qualified-in

Provides qualified-in, a require form which prefixes its subforms with their module names and a `:`.

Tags:
succeeds0

reprovide-lang

a #lang for reproviding modules

Docs:
succeeds0

reprovide-lang-lib

a #lang for reproviding modules

This package needs documentation

succeeds3

require-typed-check

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

succeeds0