OriPekelman
searching PlanetScale…
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
6 ms·
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
Actually looks quite interesting. syntax looks like: fun
| is_sorted([] || [_]): #true
| is_sorted([head, next, tail, ...]):
head .<= next && is_sorted([next, tail, ...])
is_sorted([1, 2, 3, 4, 5])
is_sorted([1, - 6.▲
- 7.▲
- 8.▲
- 9.▲
- 10.▲
- 11.▲
- 12.▲
- 13.▲
- 14.▲
- 15.▲
- 16.▲
- 17.▲
- 18.▲
- 19.▲
- 20.▲
- 21.▲
- 22.▲
- 23.▲
- 24.▲
- 25.▲
- 26.▲
- 27.▲
- 28.▲
- 29.▲
- 30.▲
More ›