Lib.rs
› 关键词
#
dependent
#
programming-language
#
dependently-typed
#
agda
#
compiler
注释：narc
关键词
搜索
nar
Narc，一种具有依赖模式匹配的依赖类型编程语言
v
0.0.8
#
pattern-matching
#
programming-language
#
dependent
#
compiler
#
narc
#
dependently-typed
#
agda
narc
处理任天堂Nitro存档
v
0.2.0
#
extract
#
build
#
nds
#
utility