{"size": 364, "ext": "scrbl", "max_stars_repo_path": "redex-doc/redex/scribblings/long-tut/thu.scrbl", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": "2018-07-29T04:13:52.000Z", "max_stars_repo_stars_event_max_datetime": "2022-02-14T16:11:17.000Z", "max_issues_repo_path": "redex-doc/redex/scribblings/long-tut/thu.scrbl", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": "2017-08-25T20:26:37.000Z", "max_issues_repo_issues_event_max_datetime": "2022-02-26T17:48:40.000Z", "max_forks_repo_path": "redex-doc/redex/scribblings/long-tut/thu.scrbl", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 10, "max_issues_count": 15, "max_forks_count": null, "avg_line_length": 28.0, "max_line_length": 102, "alphanum_fraction": 0.5247252747}
#lang scribble/manual

@(require "shared.rkt" "../cite.rkt")

@; ---------------------------------------------------------------------------------------------------
@title[#:tag "thu-mor"]{Abstracting Abstract Machines} 


David Van Horn presented his
@link["https://dvanhorn.github.io/redex-aam-tutorial/"]{
 tutorial on Abstracting Abstract Machines in Redex
}.
