Search Package Index

5 packages found

 PackageDescriptionBuild 

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

This package needs documentation

3

cur

Dependent types and meta-programming

This package needs documentation

3

pie

The Pie language, used in The Little Typer

This package needs documentation

3

pie-a-let-mode

A little fork of the Pie language (adds `let` and `equal`).

This package needs documentation

3

wort

A tiny concatenative language with polymorphic type inference

This package needs documentation

3