UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

11 files

	Filename	Content Type	Size
	../
	aggregate.ts	text/typescript	436 B
	conditionals.ts	text/typescript	321 B
	constructors.ts	text/typescript	237 B
	controls.ts	text/typescript	319 B
	index.ts	text/typescript	279 B
	map.ts	text/typescript	534 B
	mapError.ts	text/typescript	341 B
	mapWrappedError.ts	text/typescript	278 B
	predicates.ts	text/typescript	306 B
	reduceOverMonad.ts	text/typescript	3.31 kB
	splitResults.ts	text/typescript	297 B