probcomp/haskell-trace-types

Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"

haskell-trace-types

Haskell prototype of the system described in Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages.

Run stack ghci to start an interactive prompt with definitions from TraceTypes and BasicExamples available.