wilbowma / experimenting-with-redex
A Redex tutorial with a focus on how to do work in Redex
☆11Updated 5 months ago
Alternatives and similar repositories for experimenting-with-redex:
Users that are interested in experimenting-with-redex are comparing it to the libraries listed below
- A very little language☆16Updated last year
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 5 years ago
- Stronger types for a few Typed Racket operators☆11Updated last year
- Racket bindings for Z3☆24Updated 5 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- Racket Equivalence Graph Library