UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 128 B
1
2
3
4
import { equals } from 'remeda' export const allEqual = <T>(array: T[]) => array.length === 0 || array.every(equals(array[0]))