Is type-level-natural-number-induction safe to use?

type-level-natural-number-induction has no known vulnerabilities on the latest version (1.0.0.1). DepScope rates its health at 30/100 (critical risk).

What is the latest version of type-level-natural-number-induction?

The latest version of type-level-natural-number-induction is 1.0.0.1, released 2012-07-23.

Does type-level-natural-number-induction have known vulnerabilities?

No known vulnerabilities on the latest version of type-level-natural-number-induction.

Is type-level-natural-number-induction deprecated?

No, type-level-natural-number-induction is actively maintained. Latest release: 1.0.0.1 (2012-07-23).

What are alternatives to type-level-natural-number-induction?

DepScope has no curated alternatives for type-level-natural-number-induction at this time.

What license does type-level-natural-number-induction use?

type-level-natural-number-induction is licensed under BSD-3-Clause.

type-level-natural-number-induction

hackagev1.0.0.1

High-level combinators for performing inductive operations.

License BSD-3-Clausepermissive2 versions1 maintainers0 deps

/ 100

Health

use with caution

[email protected] low health (30/100) — consider alternatives

Low health score (30/100)

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/type-level-natural-number-induction

Last updated · 2012-07-23T03:21:24Z