cu1ch3n / type-inference-zoo-wasm Public

🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/

zoo.cuichen.cc/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
.github/workflows		.github/workflows
app		app
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
build-wasm.sh		build-wasm.sh
cabal.project.local		cabal.project.local
flake.lock		flake.lock
flake.nix		flake.nix
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
type-inference-zoo.cabal		type-inference-zoo.cabal