From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: videos Date: Sat, 2 Jun 2018 08:41:14 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000aa8231056da2fc75" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45876) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fP0E2-00061u-3z for help-guix@gnu.org; Sat, 02 Jun 2018 02:41:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fP0E1-0000XW-BX for help-guix@gnu.org; Sat, 02 Jun 2018 02:41:18 -0400 Received: from mail-yb0-x235.google.com ([2607:f8b0:4002:c09::235]:43951) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fP0E1-0000SE-6p for help-guix@gnu.org; Sat, 02 Jun 2018 02:41:17 -0400 Received: by mail-yb0-x235.google.com with SMTP id w3-v6so6881783ybq.10 for ; Fri, 01 Jun 2018 23:41:16 -0700 (PDT) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix --000000000000aa8231056da2fc75 Content-Type: text/plain; charset="UTF-8" I remember a video in which Ludo demonstrated the store monad Some others in which Ludo demonstrated some other things Where are those videos ? I don't remember where I found them --000000000000aa8231056da2fc75 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I remember a video in which Ludo demonstrat= ed the store monad

Some others in which Ludo demonstrated some= other things

Where are those videos ?

I don'= t remember where I found them
--000000000000aa8231056da2fc75--