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