muro
0.20.8
An explicit affine dependent type theory
Current section
Documentation
Jump to
Current section
Documentation
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
this version
0
yesterday
53
last 7 days
1 152
all time
3 039