Nicolas Rolland comments

Repositories
Issues
Comments

Results 25 comments of


                                            Nicolas Rolland

fix: segfault in old compiler due to noConfusion assumptions

will this go to 4.4 or nightly ?

loading zero.agda

Is there any way to point to a freezed Agda/Standard lib version which would make it work ?

example usage with dune

naively pasting the example I had some error with non-interactive code > Error: The type of this expression, > (_[> `Binop of _[> `Add | `Div | `Mul | `Sub...

example usage with dune

It's my mistake : I did not use *all* of the example, and the missing part caused a pb with variant record, to which the interactive version was more lenient...

Cannot copy text in terminal/console-only display mode

I think I am encountering that too