{"package":"equational-reasoning","ecosystem":"hackage","exists":true,"latest_version":"0.7.1.0","repository":"","license":"BSD-3-Clause","description":"Proof assistant for Haskell using DataKinds & PolyKinds","downloads_weekly":103,"deprecated":false,"health":{"score":60},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}