UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

	Filename	Content Type	Size
	../
	UndefinedError.ts	text/typescript	138 B
	WrappedError.ts	text/typescript	180 B
	safely.ts	text/typescript	321 B
	withErrorContext.ts	text/typescript	754 B