Skip to content
This repository has been archived by the owner on Sep 10, 2022. It is now read-only.

Clarify withStateHandlers behavior#518

Merged
istarkov merged 1 commit intoacdlite:masterfrom idris:patch-2Sep 16, 2017

Commits

Commits on Sep 16, 2017