Coeffects

Theory for context-aware programming languages with interactive playground

Pinned Repositories

coeffects-playground
:pencil: Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
Language:JavaScript61 4 34
coeffects-playground-analytics
:chart_with_upwards_trend: Analysing the data from coeffects playground
Language:F#0 2 01
coeffects-playground-logging
:floppy_disk: Web application for logging how users interact with the Coeffect playground
Language:F#0 2 00
coeffects-thesis
:notebook_with_decorative_cover: The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
Language:TeX261

coeffects/coeffects-playground
:pencil: Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
Language:JavaScript61 4 34
coeffects/coeffects-thesis
:notebook_with_decorative_cover: The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
Language:TeX261
coeffects/coeffects-playground-analytics
:chart_with_upwards_trend: Analysing the data from coeffects playground
Language:F#0 2 01
coeffects/coeffects-playground-logging
:floppy_disk: Web application for logging how users interact with the Coeffect playground
Language:F#0 2 00