muro
0.20.0
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
187
last 7 days
837
all time
2 450