#nix-lang on 2019-06-19

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:14 <pie__> hmm

00:14 <pie__> <xkapastel> > This paper presents GDTL, a gradual dependently-typed language, with an emphasis on pragmatic dependently-typed programming. GDTL fully embeds both an untyped and dependently-typed language, and allows for smooth transitions between the two.

00:14 <pie__> <xkapastel> https://arxiv.org/abs/1906.06469

01:30 inara has quit [Quit: Leaving]

01:30 ivan has quit [Quit: lp0 on fire]

01:38 inara has joined #nix-lang

01:46 ivan- has joined #nix-lang

01:46 ivan- is now known as ivan

02:26 Synthetica has quit [Quit: Connection closed for inactivity]

08:26 pie__ has quit [Ping timeout: 252 seconds]

08:40 __monty__ has joined #nix-lang

08:50 Synthetica has joined #nix-lang

09:44 pie__ has joined #nix-lang

10:13 pie__ has quit [Read error: Connection reset by peer]

11:30 pie__ has joined #nix-lang

12:01 pie__ has quit [Ping timeout: 245 seconds]

12:04 pie__ has joined #nix-lang

14:26 jtojnar has quit [Ping timeout: 248 seconds]

14:52 jtojnar has joined #nix-lang

15:39 ddellacosta has joined #nix-lang

15:45 jtojnar_ has joined #nix-lang

15:46 jtojnar has quit [Ping timeout: 252 seconds]

15:46 jtojnar_ is now known as jtojnar

16:17 ddellacosta has quit [Quit: WeeChat 2.2]

16:40 pie__ has quit [Ping timeout: 246 seconds]

16:53 ddellacosta has joined #nix-lang

18:37 pie__ has joined #nix-lang

20:55 jtojnar has quit [Remote host closed the connection]

20:58 MichaelRaskin has joined #nix-lang

21:13 ddellacosta has quit [Ping timeout: 258 seconds]

21:59 __monty__ has quit [Quit: leaving]

22:30 ddellacosta has joined #nix-lang

23:30 ddellacosta has quit [Ping timeout: 272 seconds]

23:47 infinisil has joined #nix-lang

23:55 ddellacosta has joined #nix-lang