Search Package Index

6 packages found

 PackageDescriptionBuild 

algebraic

Algebraic structures for untyped Racket

Docs:
succeeds0

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

pie-a-let-mode

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

succeeds0

wort

A tiny concatenative language with polymorphic type inference

Docs:
succeeds0