Sam Lindley's starred repositories
stack-switching
A repository for the stack switching proposal.
effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
FSharp.Linq.ComposableQuery
Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
MetaprogAgda
being the materials for Summer 2013's course
handlers-in-ott
Effect handlers in Ott