GitHub - mrkgnao/system-dc: Strongly typed implementation of System DC, the core language for Dependent Haskell

mrkgnao / system-dc Public

Strongly typed implementation of System DC, the core language for Dependent Haskell

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
src		src
.ghci		.ghci
.gitignore		.gitignore
.hlint.yaml		.hlint.yaml
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
nixpkgs.json		nixpkgs.json
package.yaml		package.yaml
shell.nix		shell.nix
zeta.cabal		zeta.cabal