Search Package Index

2 packages found

 PackageDescriptionBuild

cur

Dependent types and meta-programming

Docs: README
failssucceeds

wort

A tiny concatenative language with polymorphic type inference

Docs: README
succeeds