#nix-lang on 2021-01-05

2018-07-03 23:28 infinisil changed the topic of #nix-lang to: Channel for discussing Nix as a language - https://nixos.org/nix/manual/#chap-writing-nix-expressions - Logs: https://logs.nix.samueldr.com/nix-lang/

00:11 rajivr has joined #nix-lang

00:20 tilpner has quit [Remote host closed the connection]

00:20 tilpner has joined #nix-lang

01:58 tilpner_ has joined #nix-lang

02:02 tilpner has quit [Ping timeout: 264 seconds]

02:02 tilpner_ is now known as tilpner

03:16 kalbasit has joined #nix-lang

05:11 Dotz0cat_ has joined #nix-lang

05:11 Dotz0cat has quit [Ping timeout: 272 seconds]

05:58 kalbasit has quit [Ping timeout: 265 seconds]

10:36 __monty__ has joined #nix-lang

11:30 <siraben> Profpatsch: I have some notes on lenses which helped me when I was learning them: https://github.com/siraben/fp-notes/tree/master/lens

11:33 <siraben> Here's the profunctor encoding which includes all those Cartesian/Strong and Cocartesian/Choice goodies https://github.com/siraben/fp-notes/blob/master/lens/ProfunctorOptics.hs

13:05 WilliButz has quit [Ping timeout: 240 seconds]

13:13 WilliButz has joined #nix-lang

13:27 andi- has quit [Ping timeout: 258 seconds]

13:40 andi- has joined #nix-lang

14:31 MichaelRaskin has quit [Ping timeout: 260 seconds]

17:21 rajivr has quit [Quit: Connection closed for inactivity]

19:59 evanjs has quit [Quit: ZNC 1.8.2 - https://znc.in]

20:02 evanjs has joined #nix-lang

21:06 Dotz0cat_ has quit [Ping timeout: 264 seconds]

21:06 Dotz0cat has joined #nix-lang

22:14 __monty__ has quit [Quit: leaving]

23:02 tilpner has quit [Remote host closed the connection]

23:03 tilpner has joined #nix-lang

23:04 tilpner has quit [Remote host closed the connection]

23:04 tilpner has joined #nix-lang