rename Sessions.idr to Channels.idr
commitd38f315ed54d271915133587c7c743c066a3978f
authorzjhmale <zjhmale@gmail.com>
dateSun 28 Aug 2016, 00:10 (10 years ago)
parent037ea33
libs/base/System/Concurrency/Sessions.idr → libs/base/System/Concurrency/Channels.idrrenamed
The content is the same.