UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

9 files

	Filename	Content Type	Size
	../
	colocateBy.ts	text/typescript	288 B
	getAverageBy.ts	text/typescript	194 B
	getUniqueElement.ts	text/typescript	286 B
	replaceBy.ts	text/typescript	151 B
	sort.ts	text/typescript	114 B
	startsWith.ts	text/typescript	220 B
	toEvenLength.ts	text/typescript	132 B
	trim.test.ts	text/typescript	765 B
	trim.ts	text/typescript	752 B