Merge branch 'robbert/issue42' into 'master'
Disambiguate Haskell-style notations for partially applied operators Closes #42 See merge request !93
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#42250
fp
|
build-coq.8.10.dev |
00:07:13
|
|
|||||
| passed |
#42256
fp
|
build-coq.8.7.2 |
00:02:51
|
|
|||||
| passed |
#42255
fp-timing
|
build-coq.8.8.0 |
00:02:36
|
|
|||||
| passed |
#42254
fp
|
build-coq.8.8.1 |
00:02:53
|
|
|||||
| passed |
#42253
fp
|
build-coq.8.8.2 |
00:02:45
|
|
|||||
| passed |
#42252
fp-timing
|
build-coq.8.9.0 |
00:03:06
|
|
|||||
| passed |
#42251
fp
|
build-coq.8.9.1 |
00:03:09
|
|
|||||
| passed |
#42249
fp
|
build-coq.dev |
00:09:33
|
|
|||||