on 2b258db help sign in
Idris-dev/libs/contrib
6 folders, 2 files
../ Classes/Split off VectorSpace, Lattice from Algebra module Control/Split numeric instances of algebraic classes into their own module Data/Split numeric instances of algebraic classes into their own module Decidable/Merge remote-tracking branch 'upstream/master' into library-reorg Network/Move Network code to contrib System/Move System.Concurrency.Raw back to base MakefileInitial reorganization into contrib contrib.ipkgSplit numeric instances of algebraic classes into their own module