TODO for Conjure
================

A non-exhaustive list of things TO DO for Conjure.

* report number of "hit" assignments, add ill example as a bench

* refactor `candidateExprs` and `conjpureWith`.
  Move down conjuring of `(===)` from `conjpureWith` into `candidateExprs`.

* refactor `conjureTiersFor` to use `conjureMaybeTiersFor`

* implement `conjureHasTiers` and use it on `conjureMkEquation`;
  this will make it easy to backport unique candidateExprs from the erased
  commit back into the tool: just `discardLaterT (===)`.
  Will this impact performance a bit?  I don't think so.


### for later

* allow conjuring from tests instead of partial definitions?

* allow conjuring from partially defined implementations?

    partial :: ((Int -> Int) -> Int -> Int) -> (Int -> Int)
    partial impl  =  f
      where
      f n  =  if n == 0
              then 1
              else impl f n


This file is part of Conjure,
(C) 2021 Rudy Matela,
Distribued under the 3-Clause BSD license.