GitHub - zrho/homotopy-core: Rewritten homotopy-core

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.githooks		.githooks
src/Homotopy/Core		src/Homotopy/Core
test		test
.gitignore		.gitignore
package-lock.json		package-lock.json
package.json		package.json
packages.dhall		packages.dhall
shell.nix		shell.nix
spago.dhall		spago.dhall

About

Rewritten homotopy-core

Report repository

Releases

No releases published

Packages

No packages published

Languages

PureScript 74.7%
Dhall 22.5%
Shell 1.8%
Nix 1.0%