Lib.rs
› 关键词
#
functional
#
vm
#
proof-assistant
#
programming-language
#
language
#type-theory
关键词
搜索
kind2
使用HVM的纯函数式函数式语言
v
0.3.10
#
programming-language
#
functional
#
language
#
proof-assistant
#
virtual-machine
#
type-theory
#
parallel-processing