dashutu is judgement assistant for 『プログラミング言語の基礎概念』 for Racket
Primary LanguageRacketOtherNOASSERTION
README text here.