UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) 68 B
import { createPipe } from 'remeda' export const flow = createPipe