Search Package Index

4 packages found

 PackageDescriptionBuild 

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

succeeds0

cur

Dependent types and meta-programming

Docs:
succeeds0

pie

The Pie language, used in The Little Typer

Docs:
succeeds0

wort

A tiny concatenative language with polymorphic type inference

Docs:
succeeds0