Maxime DIDIER
Maxime DIDIER
Hello, We encountered the same problem in our code after I mistakenly swapped the arguments of the set function in a lens. It looks to me that we encountered the...
I cannot apply this suggestion in my actual code. The second operand of my concatenation depends on an Optional and cannot be a naked `toMap` application. I could change the...
I have a similar issue on my machine and I figured out a simple way to reproduce it. I use the bash package that comes with Debian and dhall is...
Interesting. Why the restriction ? Why wasn't a rule like the following adopted ? ``` Γ ⊢ e : Optional T₀ Γ, x : T₀ ⊢ x with ks… =...