A PLT Redex implementation of Featherweight Java Developed with purely educational goals as an exercise in PLT Redex. Contains a reduction semantics for FJ, type-checking rules and a number of tests. Implementation: See sources/fj.rkt