Gungnir vs Agda Kernel

GungnirAgda Kernel
Stars2117
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit7 years ago2 years ago
Total Releases
Latest Release
Open Issues14
Licensecc-by-4.0
Programming LanguageJavaScriptJupyter Notebook