The changes look good, i like the idea of this.
> On Aug 25, 2021, at 10:59 AM, Siddhartha Kasivajhula
> wrote:
>
> Hello again folks,
> I recently migrated one of my repos to use social-contract, and thought I'd
> share the before/after as an example to illustrate what the package does:
>
>
Hello again folks,
I recently migrated one of my repos to use social-contract, and thought I'd
share the before/after as an example to illustrate what the package does:
Hi David,
Yes, both ->* and ->i are supported. The forms in social-contract expand to
flat or arrow contracts, which, since these work within ->* and ->i there
shouldn't be any issues there.
The only built-in form it doesn't support yet is case->, and that's because
at the moment case->
Hi Siddhartha,
Will this package handle ->* and ->i, either now or in the future?
On Sat, Aug 14, 2021 at 1:40 PM Siddhartha Kasivajhula
wrote:
> Fellow Scheming Racketeers,
> When you've written a function that takes an integer and returns another
> one, you may write a contract for it as (->
4 matches
Mail list logo