git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3799 from BleuShan/expose-contrib-pipeline
1eb6d2cNiklas Larsson
libs/contrib/contrib.ipkg+1
compare with master
unifiedsplit
@@ -8,6 +8,7 @@ modules = CFFI, CFFI.Types, CFFI.Memory,
8 Control.Algebra.NumericImplementations,
8 Control.Algebra.NumericImplementations,
9 Control.Isomorphism.Primitives,
9 Control.Isomorphism.Primitives,
10 Control.Partial,
10 Control.Partial,
11+ Control.Pipeline,
11 Control.ST, Control.ST.ImplicitCall, Control.ST.Exception,
12 Control.ST, Control.ST.ImplicitCall, Control.ST.Exception,
12
13
13 Interfaces.Verified,
14 Interfaces.Verified,