lean4-code-actions CDN by jsDelivr - A free, fast, and reliable Open Source CDN

...
Area
Array
Artifact
DateTimeFilter
DepsStateMutator
Id
Name
OptionBoolMap
OptionBoolRecord
Period
PrevNext
Seed
Tally
Thought.ts:119:38
Transition
Value
AbsolutePath.test.ts	240 B
AbsolutePath.ts	767 B
AccessType.ts	162 B
Array.comparators.ts	164 B
Array.ts	49 B
ArrayIndex.ts	88 B
ArraySorted.ts	607 B
Artifact.ts	1002 B
Contact.test.ts	268 B
Contact.ts	2.3 KB
Conversion.ts	1.26 KB
Converter.ts	64 B
Country.ts	973 B
Creator.ts	77 B
DataBundle.ts	76 B
DateInterval.ts	884 B
DateTimeFilter.ts	1.42 KB
DepsStateModifier.ts	322 B
Description.ts	1 KB
Duration.ts	458 B
Env.ts	44 B
GenericFunction.ts	704 B
GeoLocation.ts	404 B
Guesstimate.ts	859 B
Id.ts	1.21 KB
Idx.ts	499 B
ImageUrl.ts	154 B
ISO639Code.ts	265 B
Language.ts	1.1 KB
MarkdownString.ts	649 B
Name.ts	162 B
NaturalNumber.ts	617 B
NaturalNumberCoerce.ts	708 B
Notes.ts	411 B
NumberInterval.ts	729 B
Ordinal.ts	562 B
OriginalId.ts	699 B
OriginalSlug.ts	751 B
Period.ts	801 B
Permission.ts	1.08 KB
Person.ts	983 B
Phone.ts	27 B
PhysicalArtifact.ts	449 B
PrevNext.ts	115 B
Probability.ts	384 B
ProbabilityBigInt.ts	371 B
Process.ts	201 B
ProjectUid.ts	107 B
Proposal.ts	361 B
Protocol.ts	267 B
Quantity.ts	1.44 KB
Rating.ts	531 B
Role.ts	899 B
Sex.ts	610 B
SortDir.ts	683 B
Tag.ts	1002 B
Tally.ts	59 B
Team.ts	847 B
Thought.ts	3.37 KB
Timestamp.ts	435 B
TimeValueMap.ts	112 B
TimezoneOffsetSchema.ts	434 B
TimezoneSchema.ts	183 B
Url.ts	769 B
UrlPattern.ts	916 B

Free Open Source CDN for lean4-code-actions

Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lean4-code-actions