A small library for tracking dependently typed mutable state, allowing creation of APIs which describe precisely the resources they create, modify and destroy.
Work in progress, please don't send issues/PRs just yet.
A small library for tracking mutable state in Idris programs
A small library for tracking dependently typed mutable state, allowing creation of APIs which describe precisely the resources they create, modify and destroy.
Work in progress, please don't send issues/PRs just yet.
A small library for tracking mutable state in Idris programs
Other