Packages
muro
0.18.1
0.19.0
0.18.4
0.18.3
0.18.2
0.18.1
0.18.0
0.17.0
0.16.78
0.16.77
0.16.76
0.16.75
0.16.73
0.16.70
0.16.69
0.16.57
0.16.51
0.16.39
0.16.37
0.16.36
0.16.32
0.16.30
0.16.29
0.16.28
0.16.27
0.16.25
0.16.24
0.16.23
0.16.22
0.16.19
0.16.17
0.16.16
0.16.15
0.16.12
0.16.11
0.16.10
0.16.9
0.16.8
0.16.7
0.16.6
0.16.5
0.16.4
0.16.3
0.16.2
0.16.1
0.15.0
0.13.0
0.12.0
0.11.0
0.10.0
0.9.0
0.8.0
0.6.0
0.5.0
0.3.0
0.2.1
0.2.0
0.1.0
An explicit affine dependent type theory
Current section
3 Dependencies
Jump to
Current section
3 Dependencies
Dependencies of muro
3 dependencies| Package | Requirement |
|---|---|
| elixir_make |
~> 0.10
optional
|
| makeup |
~> 1.2
optional
|
| nx |
~> 0.9
optional
|
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
all versions
this version
38
yesterday
218
last 7 days
686
all time
2 263
