murolang avatar

Muro

murolang

Total Packages

1

Total Downloads

3 186+

Stats

Updated daily
muro v0.20.15

An explicit affine dependent type theory

0 100 200 300 400
3.2K Total
147 Yesterday
1.1K Last 7 days