Pinned Repositories
ptype
Probabilistic type inference
fluid
Data-linked visualisations
agda-stdlib-ext
bidi
Bidirectional experiment
concurrent-slicing
proof-relevant-pi
wrattler
rolyp's Repositories
rolyp/proof-relevant-pi
rolyp/agda-stdlib-ext
rolyp/concurrent-slicing
rolyp/bidi
Bidirectional experiment
rolyp/documentation
Documentation for the PureScript language, compiler, and tools.
rolyp/fluid
The Fluid programming language
rolyp/popl25-web-artifact
Data-linked visualisations