Avatar
omochimetaru 9/3/2018 6:03 AM
なるほど
6:04 AM
じゃあ、実装としては事実上Genralized Existentialが提供されるけど、言語文法としてはもうちょっと縛ったものになる、という感じ・・・?