Merge branch 'master' of github.com:idris-lang/Idris-dev
commit9997caf34353327cb12191dc40302ef60f1296ef
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 28 Aug 2016, 10:46 (10 years ago)
parent8fea0b075ba656
libs/base/System/Concurrency/Sessions.idr → libs/base/System/Concurrency/Channels.idrrenamed
The content is the same.