Login

Create new posts

At least 10 characters

Entities involved:

Preview:

CuTT
为什么 Path type 不能是 Pi type 的 subtype？
ice1000

你们能救救我吗

Preview:

Cancel

Aya 编程语言已经实现这两个类型的 coercive subtyping

Created at 12/4/2022, 3:36:34 AM
ice1000