Louis Pilfold

Results 1855 comments of Louis Pilfold

Hello! I believe this package is currently being replaced by the author

I agree, thank you. We need to work out what the right way to handle this would be as we may not be able to statically prevent this.

Good idea! Perhaps we could look for a type constructor with the appropriate arity, favouring imported modules over unimported ones?

Are you still working on this @crazymerlyn ?

Hello! Are you still working on this one? :)

You would need to compile it with valid syntax, update the file in the filesystem and then ask for compilations!

Oh dear! Looks like CI is failing

When you are ready for a review please un-draft this PR. Thank you!