code-conjure-0.2.4: TODO.md

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

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


### 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.