GitHub - dvanhorn/redex-aam-tutorial: An Introduction to Redex with Abstracting Abstract Machines · GitHub

Repository navigation

redex-aam-tutorial

Public

About

An Introduction to Redex with Abstracting Abstract Machines

dvanhorn.github.io/redex-aam-tutorial

AFL-3.0 license

105 stars

10 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
img		img
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bib.rkt		bib.rkt
counter.rkt		counter.rkt
ex.rkt		ex.rkt
info.rkt		info.rkt
shared.rkt		shared.rkt
subst.rkt		subst.rkt
tutorial.rkt		tutorial.rkt
tutorial.scrbl		tutorial.scrbl

Repository files navigation

This tutorial is available online at:

Copyright © 2014 David Van Horn

Licensed under the Academic Free License version 3.0

About

An Introduction to Redex with Abstracting Abstract Machines

dvanhorn.github.io/redex-aam-tutorial

AFL-3.0 license

105 stars

10 watching

Report repository

Releases

Packages

Used by

Contributors

Languages