Repository navigation

experimenting-with-redex

Public

About

A Redex tutorial with a focus on how to do work in Redex

11 stars

3 watching

Report repository

Name		Name	Last commit message	Last commit date
LICENSE.md		LICENSE.md
Makefile		Makefile
README.md		README.md
custom.css		custom.css
custom.tex		custom.tex
eval.scrbl		eval.scrbl
experimenting.scrbl		experimenting.scrbl
judgment.scrbl		judgment.scrbl
lib.rkt		lib.rkt
preface.scrbl		preface.scrbl
syntax.scrbl		syntax.scrbl

Repository files navigation

experimenting-with-redex

A Redex tutorial with a focus on how to do work in Redex

Install

make all

Requires scribble-coq.

About

A Redex tutorial with a focus on how to do work in Redex

11 stars

3 watching

Report repository

Releases

Packages

Used by

Contributors

Languages