/machines-measured-stack

augmented stack with monoidal measures on the stack of streams

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Stargazers