From fdcd4d941d2c05030c59ee297babaa59870ea322 Mon Sep 17 00:00:00 2001 From: Guillaume Allais Date: Fri, 26 Jul 2024 13:24:33 +0100 Subject: [PATCH] [ linear ] typo in the docstring --- libs/linear/System/Concurrency/Session.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/linear/System/Concurrency/Session.idr b/libs/linear/System/Concurrency/Session.idr index dcf95592e..43dfebe16 100644 --- a/libs/linear/System/Concurrency/Session.idr +++ b/libs/linear/System/Concurrency/Session.idr @@ -186,7 +186,7 @@ end : LinearIO io => Channel End -@ L io () end (MkChannel _ _ _) = do pure () -||| Given a session, create a bidirectional communiaction channel and +||| Given a session, create a bidirectional communication channel and ||| return its two endpoints export makeChannel :