lean4-code-actions CDN files

jsDelivr monthly hits badge
  1. lean4-code-actions@1.1.32 /
  2. libs /
  3. utils /
  4. Result
...
aggregate.ts 436 B
conditionals.ts 321 B
constructors.ts 237 B
controls.ts 319 B
index.ts 279 B
map.ts 534 B
mapError.ts 341 B
mapWrappedError.ts 278 B
predicates.ts 306 B
reduceOverMonad.ts 3.23 KB
splitResults.ts 297 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