Lib.rs
› 关键词
#
dependent
#
programming-language
#
lambda-calculus
#
declaration
#
extended
#dependently-typed
关键词
搜索
minitt
Mini-TT，一个扩展并（重新）用Rust实现的依赖类型lambda演算
v
0.4.3
210
#
lambda-calculus
#
theory
#
expression
#
extended
#
dependently-typed
#
dependent
#
declaration
voile
依赖类型行多态编程语言
v
0.2.6
#
programming-language
#
dependently-typed
#
parameters
#
variables
#
row-polymorphism
#
next
#
extensible
nar
Narc，一个具有依赖模式匹配的依赖类型编程语言
v
0.0.8
#
pattern-matching
#
programming-language
#
dependent
#
compiler
#
narc
#
dependently-typed
#
agda