# prisma v0.1.0 - Table of Contents

> Hybrid Success & Gradual Type Analyzer with Modular PPLTs for Erlang and Elixir

## Pages

- [README](readme.md)
- [Prisma's discrepancy analyzer against Dialyzer](discrepancies.md)
- [Prisma's gradual check against Gradualizer](gradual.md)
- [LICENSE](license.md)

## Modules

- [Elixir.Mix.Tasks.Prisma](Elixir.Mix.Tasks.Prisma.md): Runs Prisma hybrid type and discrepancy analysis on compiled BEAM files.
- [Elixir.Mix.Tasks.Prisma.Build](Elixir.Mix.Tasks.Prisma.Build.md): Compiles the project and writes `<app>_<vsn>.pplt` at the root of each of its applications, made from the beams that were just
compiled (with the hash of the sources, so that whoever uses it can tell if it is stale). It also leaves in `_build/` the `.pplt` of the
dependencies that nobody shipped.