git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test025
3 files
../ expectedAn effect to allocate and manipulate memory runTest fixed test025.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…