Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@SophieBosio
SophieBosio committed May 14, 2024
1 parent d59ee89 commit 9ec16bd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,9 @@ A friendly, functional language for finding counterexamples!

## Features

Contra is a small functional programming language designed to automate the process of finding counter-examples with property-based testing.
Contra is a small functional programming language designed to automate the process of finding algebraic counter-examples with property-based testing.

With Contra, you can define properties and check them automatically without the need to write a generator by hand. You can even check properties containing algebraic data types.
With Contra, you can define properties and check them automatically without the need to write a generator by hand. In particular, can check properties that take *user-defined* algebraic data types. Even mutually recursive ones!

Contra uses SMT solvers (currently Z3 via the Haskell library [SBV](https://hackage.haskell.org/package/sbv)) behind the scenes to actually find the counterexamples.

Expand Down

0 comments on commit 9ec16bd

Please sign in to comment.