muro
0.20.7
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
30
yesterday
260
last 7 days
1 170
all time
2 986