intensional-datatys

A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin. (by plrg-bristol)

Intensional-datatys Alternatives

Similar projects and alternatives to intensional-datatys

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better intensional-datatys alternative or higher similarity.

intensional-datatys reviews and mentions

Posts with mentions or reviews of intensional-datatys. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning intensional-datatys yet.
Tracking mentions began in Dec 2020.

Stats

Basic intensional-datatys repo stats
0
5
0.0
over 3 years ago

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com