Taeer Bar-Yam

> If you're trying to solve both problems by proposing a solution to union contracts which would enable union types, and thus to encode ADT, then it's crucial to look...

Another problem came up while discussing with Viktor and Joe last week ## Problem 3 For values with a tag, do we end up needing to "tag things twice"? Consider...

Yes. That was a very eloquent explanation of what I had in mind. I also agree with your thoughts on problem 2. It is impossible to "solve", but we can...

> at this point, it looks like tagged unions - at least for the statically typed part - are much simpler. Yeah. As I worked out the details it became...

Rebuilding dependencies addressed by #1626 Rebuilding of `nickel-lang-core` is hard to resolve because different crates depend on it with different features enabled. Lalrpop can't easily be its own crate, because...

Whatever we decide, it is probably worth documenting any design constraints / restrictions for code in `internals.ncl`. I would say in a comment at the top of the file.

One advantage of the `| lang "foo"` annotation idea is that it doesn't have to be specified at point of use, it can be specified when the contract is defined....

+1 to this issue. It would be useful to me to be able to specify the source directory at the command line. I'm writing a nix flake that wraps hakyll...

Hey, sorry for the delay. TL;DR of this comment: I don't think I actually need this feature in the end. @tobiasBora has most of it right, but it's actually kind...

https://github.com/jaspervdj/hakyll/blob/1abdeee743d65d96c6f469213ca6e7ea823340a7/lib/Hakyll/Check.hs#L167-L175 It seems like if `--internal-links` is set, then nothing is checked. ``` needsCheck