Search Package Index

6 packages found

 PackageDescriptionBuild 

data-type

data type syntax for typed/racket

Docs:
succeeds0

k

k theorem prover

Docs:
Tags:
succeeds0

mini-theme

A minimal DrRacket theme

succeeds0

raco-watch

An extension of raco command that watching files and re-executing subcommand

Tags:
succeeds0

reporter

A util toolbox for compiler error reporting

Docs:
succeeds0

sauron

A DrRacket plugin to make it experience like an IDE

Docs:
succeeds0