库.rs
› 关键词
#
encoding
#
nixos
#
nix
#
command-line
#
codec
#
dependent
#
narc
#nar
关键词
搜索
nix-nar
操作 Nix 归档 (nar) 文件
v
0.3.0
4.7
K
#
nix
#
nixos
#
nar
#
codec
#
encoding
#
command-line
nar
Narc，一个具有依赖模式匹配的依赖类型编程语言
v
0.0.8
#
pattern-matching
#
programming-language
#
dependent
#
compiler
#
narc
#
dependently-typed
#
agda
nix-nar-cli
二进制程序，用于操作 Nix 归档 (nar) 文件
v
0.3.0
#
nix
#
nixos
#
nar
#
encoding
#
command-line