Maxime DIDIER

Results 4 comments of 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… =...