GitHub - silky/coeffects-playground: Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

silky / coeffects-playground Public

forked from coeffects/coeffects-playground

Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

tomasp.net/coeffects/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
.paket		.paket
content		content
web		web
.gitignore		.gitignore
Coeffects.fsproj		Coeffects.fsproj
Coeffects.sln		Coeffects.sln
ast.fs		ast.fs
build.cmd		build.cmd
build.fsx		build.fsx
build.sh		build.sh
errors.fs		errors.fs
evaluation.fs		evaluation.fs
gui.fs		gui.fs
lexer.fs		lexer.fs
paket.dependencies		paket.dependencies
paket.lock		paket.lock
paket.references		paket.references
parsec.fs		parsec.fs
parser.fs		parser.fs
pretty.fs		pretty.fs
solver.fs		solver.fs
tests.fsx		tests.fsx
translate.fsx		translate.fsx
translation.fs		translation.fs
typechecker.fs		typechecker.fs