You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Matthew Butterick 4f225cc740 reorder hide & splice (fixes #8)		6 years ago
..
codegen.rkt	use the force	6 years ago
expander.rkt	simplify more	6 years ago
flatten.rkt	Add curly quantifier notation	6 years ago
reader.rkt	simplify more	6 years ago
runtime.rkt	reorder hide & splice (fixes #8)	6 years ago
satisfaction.rkt	move up	6 years ago