Asad Saeeduddin

Also worth noting that the time you save by avoiding backup of build products in hundreds of repos will dwarf the overhead we're discussing here. So doing the simpler/less efficient...

Has there been any progress on this? There's still about 25 scripts in the Autounattend.xml file, whereas the essentials are only to enable WinRM (and possibly disable Windows update). Everything...

@BebeSparkelSparkel I was looking at your DXF example and noticed something. You don't capture the whitespace for the integer lines in the parsed representation. When printing, how much leading whitespace...

The interesting thing is that I was trying to use the `many` combinator to parse out the whitespace, but the types simply wouldn't let me.

@BebeSparkelSparkel What I mean regarding the `many` thing is that while `snd many space /\ nat` makes for a fine parser of lines that have some leading whitespace and then...

Regarding: > Whitespace of the integer lines has always been the same. I see a few lines in there where the leading whitespace is different. For example you have two...

Small correction, the `purescript-snap` thing doesn't have anything to do with the "Composing bidirectional programs monadically" paper. They just happen to explore related ideas that fed into the co-optics repo.


whoops, fatfingered the close button. > You mean nix/sources.nix, correct? Yeah, my bad.

@leotaku Wouldn't it be easier to update an outdated `sources.nix` file with this approach? I (and everyone else who uses niv) just need to change the commit SHA to get...