đź“ť Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
JavaScript F# HTML CSS Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.paket
content
web
.gitignore
Coeffects.fsproj
Coeffects.sln
ast.fs
build.cmd
build.fsx
build.sh
errors.fs
evaluation.fs
gui.fs
lexer.fs
paket.dependencies
paket.lock
paket.references
parsec.fs
parser.fs
pretty.fs
solver.fs
tests.fsx
translate.fsx
translation.fs
typechecker.fs