GitHub repository: trzewiczek/schemers
Primary language: Racket
Created: 2017-09-22T10:11:05Z
Description: Code for Little|Seasoned|Reasoned Schemer|Prover by Friedman and Byrd|Eastlund|Felleisen|Kiselyov.