Cody Allen

> Built January 1, 1980? Haha. My guess would be that this has to do with git or Nix normalizing a date for reproducibility/consistent hashing. But I have no idea...

I found [an example](https://github.com/go-task/task/pull/592/files#diff-42e26dc67aed8aa3edb2472b4403288c1699fb6dc47419b9a475f0f224fe4689R71-R73) of a project that installs shell completion as part of its homebrew formula. I don't know homebrew or Ruby well enough to understand whether the homebrew...

> convert this to runInputTWithPrefs and pass the appropriate Prefs value What would the appropriate `Prefs` value be? It wouldn't override the settings that I have in my `~/.haskeline` file,...

Fixed by #3380 !

@ChrisPenner weighed in on Slack: > A really easy fix for this would be to seed all transcript codebases with your main codebases content addressed definitions, but without any namespace...

@aryairani do you see this being a single instance that you want running all the time, or would it be more convenient for people to be able to spin up...

@pchiusano yep I think that it would totally be fine to just print `##TVar _` for the TVar and show the rest of the expression. The `Couldn't decompile value.` printed...

I don't really know the right answer there, and I don't really know what the representation of an expression looks like in the decompiler. But I could potentially see decompiling...

Simple proposal: What if editing a builtin term/type still adds it to your scratch file but comments it out? Something like: ``` -- builtin terms and types cannot be edited...

Just got a chance to try this out and it worked great. Thanks @runarorama!