Avatar
omochimetaru 4/9/2019 1:39 AM
それ以外にもexitlのオープン構文、Generalized existential、anyの必須化、などもかかれてる