UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 158 B
1
2
3
4
import { BasicArithmetic } from '../arithmetic' export const halve = <N>({ div, fromNumber }: BasicArithmetic<N>) => (value: N) => div(value, fromNumber(2))