Packages
muro
0.20.8
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
Activity
Jump to
Current section
Activity
| Date | Activity |
|---|---|
| Nov 04, 2026 | Publish release 0.20.8 |
| Nov 02, 2026 | Publish release 0.20.7 |
| Nov 02, 2026 | Publish release 0.20.6 |
| Nov 02, 2026 | Publish release 0.20.4 |
| Nov 01, 2026 | Publish release 0.20.3 |
| Oct 31, 2026 | Publish release 0.20.1 |
| Oct 31, 2026 | Publish release 0.20.0 |
| Oct 31, 2026 | Publish release 0.19.7 |
| Oct 30, 2026 | Publish release 0.19.6 |
| Oct 30, 2026 | Publish release 0.19.5 |
| Oct 30, 2026 | Publish release 0.19.4 |
| Oct 30, 2026 | Publish release 0.19.1 |
| Oct 29, 2026 | Publish release 0.19.0 |
| Oct 29, 2026 | Publish release 0.18.4 |
| Oct 29, 2026 | Publish release 0.18.3 |
| Oct 29, 2026 | Publish release 0.18.2 |
| Oct 29, 2026 | Publish release 0.18.1 |
| Oct 29, 2026 | Publish release 0.18.0 |
| Oct 28, 2026 | Publish release 0.17.0 |
| Oct 28, 2026 | Publish release 0.16.78 |
| Oct 28, 2026 | Publish release 0.16.77 |
| Oct 28, 2026 | Publish release 0.16.76 |
| Oct 27, 2026 | Publish release 0.16.75 |
| Oct 27, 2026 | Publish release 0.16.73 |
| Oct 26, 2026 | Publish release 0.16.70 |
| Oct 26, 2026 | Publish release 0.16.69 |
| Oct 23, 2026 | Publish release 0.16.57 |
| Oct 22, 2026 | Publish release 0.16.51 |
| Oct 21, 2026 | Publish release 0.16.39 |
| Oct 21, 2026 | Publish release 0.16.37 |
| Oct 21, 2026 | Publish release 0.16.36 |
| Oct 20, 2026 | Publish release 0.16.32 |
| Oct 20, 2026 | Publish release 0.16.30 |
| Oct 20, 2026 | Publish release 0.16.29 |
| Oct 20, 2026 | Publish release 0.16.28 |
| Oct 15, 2026 | Publish release 0.16.27 |
| Oct 15, 2026 | Publish release 0.16.25 |
| Oct 15, 2026 | Publish release 0.16.24 |
| Oct 14, 2026 | Publish release 0.16.23 |
| Oct 14, 2026 | Publish release 0.16.22 |
| Oct 12, 2026 | Publish release 0.16.19 |
| Oct 11, 2026 | Publish release 0.16.17 |
| Oct 11, 2026 | Publish release 0.16.16 |
| Oct 11, 2026 | Publish release 0.16.15 |
| Oct 09, 2026 | Publish release 0.16.12 |
| Oct 09, 2026 | Publish release 0.16.11 |
| Oct 09, 2026 | Publish release 0.16.10 |
| Oct 09, 2026 | Publish release 0.16.9 |
| Oct 09, 2026 | Publish release 0.16.8 |
| Oct 08, 2026 | Publish release 0.16.7 |
| Oct 08, 2026 | Publish release 0.16.6 |
| Oct 08, 2026 | Publish release 0.16.5 |
| Oct 08, 2026 | Publish release 0.16.4 |
| Oct 08, 2026 | Publish release 0.16.3 |
| Oct 06, 2026 | Publish release 0.16.2 |
| Oct 06, 2026 | Publish release 0.16.1 |
| Oct 03, 2026 | Publish release 0.15.0 |
| Oct 02, 2026 | Publish release 0.13.0 |
| Oct 02, 2026 | Publish release 0.12.0 |
| Sep 27, 2026 | Publish release 0.11.0 |
| Sep 26, 2026 | Publish release 0.10.0 |
| Sep 25, 2026 | Publish release 0.9.0 |
| Sep 25, 2026 | Publish release 0.8.0 |
| Sep 24, 2026 | Publish release 0.6.0 |
| Sep 24, 2026 | Publish release 0.5.0 |
| Sep 23, 2026 | Publish release 0.3.0 |
| Sep 22, 2026 | Publish release 0.2.1 |
| Sep 22, 2026 | Publish release 0.2.0 |
| Sep 22, 2026 | Transfer owner to murolang |
| Sep 22, 2026 | Publish release 0.1.0 |
70
activities of
70
total
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
all versions
this version
0
yesterday
53
last 7 days
1 152
all time
3 039
