David Galichet

Results 1 issues of David Galichet

Hi all, I tried to play with the new smart type (I would like to use refined types) but I had some troubles with type inference. Using prelude 1.0.0-RC6 that...