Avatar
手書きType erasureは移行期間中のワークアラウンドで
4:31 AM
Generalized Existentialがサポートされたら不要になる、という方向なのかと・・・