lean4-code-actions

Version:

Refactorings and snippets for Lean 4

15 folders, 66 files

Filename	Content Type	Size
../
Area/	–	979 B
Array/	–	1.25 kB
Artifact/	–	4.54 kB
DateTimeFilter/	–	1.69 kB
DepsStateMutator/	–	353 B
Id/	–	292 B
Name/	–	275 B
OptionBoolMap/	–	274 B
OptionBoolRecord/	–	303 B
Period/	–	312 B
PrevNext/	–	220 B
Seed/	–	797 B
Tally/	–	730 B
Transition/	–	95 B
Value/	–	65 B
AbsolutePath.test.ts	text/typescript	240 B
AbsolutePath.ts	text/typescript	767 B
AccessType.ts	text/typescript	162 B
Array.comparators.ts	text/typescript	164 B
Array.ts	text/typescript	49 B
ArrayIndex.ts	text/typescript	88 B
ArraySorted.ts	text/typescript	607 B
Artifact.ts	text/typescript	1 kB
Contact.test.ts	text/typescript	268 B
Contact.ts	text/typescript	2.36 kB
Conversion.ts	text/typescript	1.29 kB
Converter.ts	text/typescript	64 B
Country.ts	text/typescript	973 B
Creator.ts	text/typescript	77 B
DataBundle.ts	text/typescript	76 B
DateInterval.ts	text/typescript	884 B
DateTimeFilter.ts	text/typescript	1.45 kB
DepsStateModifier.ts	text/typescript	322 B
Description.ts	text/typescript	1.03 kB
Duration.ts	text/typescript	458 B
Env.ts	text/typescript	44 B
GenericFunction.ts	text/typescript	704 B
GeoLocation.ts	text/typescript	404 B
Guesstimate.ts	text/typescript	859 B
ISO639Code.ts	text/typescript	265 B
Id.ts	text/typescript	1.24 kB
Idx.ts	text/typescript	499 B
ImageUrl.ts	text/typescript	154 B
Language.ts	text/typescript	1.12 kB
MarkdownString.ts	text/typescript	649 B
Name.ts	text/typescript	162 B
NaturalNumber.ts	text/typescript	617 B
NaturalNumberCoerce.ts	text/typescript	708 B
Notes.ts	text/typescript	411 B
NumberInterval.ts	text/typescript	729 B
Ordinal.ts	text/typescript	562 B
OriginalId.ts	text/typescript	699 B
OriginalSlug.ts	text/typescript	751 B
Period.ts	text/typescript	801 B
Permission.ts	text/typescript	1.1 kB
Person.ts	text/typescript	983 B
Phone.ts	text/typescript	27 B
PhysicalArtifact.ts	text/typescript	449 B
PrevNext.ts	text/typescript	115 B
Probability.ts	text/typescript	384 B
ProbabilityBigInt.ts	text/typescript	371 B
Process.ts	text/typescript	201 B
ProjectUid.ts	text/typescript	107 B
Proposal.ts	text/typescript	361 B
Protocol.ts	text/typescript	267 B
Quantity.ts	text/typescript	1.48 kB
Rating.ts	text/typescript	531 B
Role.ts	text/typescript	899 B
Sex.ts	text/typescript	610 B
SortDir.ts	text/typescript	683 B
Tag.ts	text/typescript	1 kB
Tally.ts	text/typescript	59 B
Team.ts	text/typescript	847 B
Thought.ts	text/typescript	3.45 kB
Thought.ts:119:38	application/octet-stream	0 B
TimeValueMap.ts	text/typescript	112 B
Timestamp.ts	text/typescript	435 B
TimezoneOffsetSchema.ts	text/typescript	434 B
TimezoneSchema.ts	text/typescript	183 B
Url.ts	text/typescript	769 B
UrlPattern.ts	text/typescript	916 B