Search Package Index

3 packages found

 PackageDescriptionBuild 

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

succeeds0

cur

Dependent types and meta-programming

Docs:
succeeds0

wort

A tiny concatenative language with polymorphic type inference

Docs:
succeeds0