lean4-code-actions
Version:
Refactorings and snippets for Lean 4
9 lines (7 loc) • 357 B
text/typescript
import { pipe } from 'remeda'
import { BasicArithmetic } from '../arithmetic'
import { getQuotientsFromNumerators } from './getQuotientsFromNumerators'
export const getQuotientsFromNumberNumerators = <N>(arithmetic: BasicArithmetic<N>) => (numerators: number[]) => pipe(
numerators.map(arithmetic.fromNumber),
getQuotientsFromNumerators(arithmetic),
)