!9IQChSjwSHXPPWTa:lix.systems

Lix

1122 Members
Lix user channel. Feel free to discuss on-topic issues here and give each other help. For matrix.to links to the rest of the Lix channels, see: https://wiki.lix.systems/books/lix-organisation/page/matrix-rooms304 Servers

You have reached the beginning of time (for this room).

SenderMessageTime
11 Dec 2025
@k900:0upti.meK900You need to do whole program inference, typescript style21:54:45
@k900:0upti.meK900 And probably refinement typing too 21:54:51
@rosssmyth:matrix.orgrosssmythYeah, if you can define the types for all the common Nixpkgs utilities then let me know 22:03:52
@rosssmyth:matrix.orgrosssmythlike22:04:07
@rosssmyth:matrix.orgrosssmythoverlays22:04:08
@piegames:flausch.socialpiegames
In reply to @charles:computer.surgery
you need some syntax to "dereference" a string as if it were a variable
Yes, that would indeed be needed 		22:21:54

Show newer messages

Back to Room ListRoom Version: 10