Various documents related to LiquidHaskell
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Sample code files to accompany the book “Interactive Data Visualization for the Web”
Vim plugin for displaying type annotations of TypeScript programs produced by nano-js (https://github.com/UCSD-PL/nano-js)