UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

23 files

	Filename	Content Type	Size
	../
	IsUniqBy.tsx	application/octet-stream	259 B
	all.ts	text/typescript	95 B
	allEqual.test.ts	text/typescript	236 B
	allEqual.ts	text/typescript	128 B
	allUnique.ts	text/typescript	111 B
	equalsBy.ts	text/typescript	417 B
	every.ts	text/typescript	177 B
	fill.ts	text/typescript	159 B
	flow.ts	text/typescript	68 B
	imply.ts	text/typescript	81 B
	includes.ts	text/typescript	265 B
	includesBy.ts	text/typescript	160 B
	mapOver.ts	text/typescript	322 B
	meldWithLast.ts	text/typescript	222 B
	nequals.ts	text/typescript	232 B
	over.ts	text/typescript	125 B
	pass.ts	text/typescript	309 B
	pipeOver.ts	text/typescript	194 B
	rangeBigInt.ts	text/typescript	285 B
	repeat.ts	text/typescript	233 B
	sum.ts	text/typescript	85 B
	until.ts	text/typescript	88 B
	wrap.ts	text/typescript	432 B