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/
rajivr has joined #nix-lang
aaronjanse has quit [Quit: authenticating]
aaronjanse has joined #nix-lang
<siraben> I learned more about small-step operational semantics yesterday. Going to start formalizing working through the STLC chapter and maybe would get to records soon
<siraben> But a small-step operational semantics of Nix seems doable, IMO
evanjs has quit [Read error: Connection reset by peer]
evanjs has joined #nix-lang
__monty__ has joined #nix-lang
rajivr has quit [Quit: Connection closed for inactivity]
qyliss has quit [Quit: bye]
qyliss has joined #nix-lang
Profpatsch has quit [Quit: WeeChat 3.0.1]
Profpatsch has joined #nix-lang
qyliss has quit [Quit: bye]
qyliss has joined #nix-lang
__monty__ has quit [Quit: leaving]
qyliss has quit [Quit: bye]
qyliss has joined #nix-lang
qyliss has quit [Quit: bye]
qyliss has joined #nix-lang