Packages
muro
0.20.17
0.20.18
0.20.17
0.20.16
0.20.15
0.20.14
0.20.12
0.20.8
0.20.7
0.20.6
0.20.4
0.20.3
0.20.1
0.20.0
0.19.7
0.19.6
0.19.5
0.19.4
0.19.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
Documentation
Jump to
Current section
Documentation
Loading README...
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
0.20.17
this version
0
yesterday
185
last 7 days
1 043
all time
3 493
