Lib.rs
› 关键词
#
dependent
#
ghost
#
proofs
#
noonan
#
author
#
matt
#
theorem
#
type
已离职
关键词
搜索
dependent_ghost
马特·诺南的《已离职证明的鬼魂》
v
0.1.1
#
proofs
#
ghost
#
dependent
#
author
#
departed
#
matt
#
noonan
已离职
该技术利用已离职证明的鬼魂技术，提供了一些依赖类型的好处
v
0.1.0
#
type
#
dependent
#
proof
#
theorem
#
ghost