Closed jwaldmann closed 1 year ago
Perhaps this is for leancheck-instances?
@jwaldmann Yes.
I have added it to leancheck-instances now. It's part of leancheck-instances-0.0.5, which I released on Hackage just now.
My goal is to include all types present in quickcheck-instances in leancheck-instances, but only about 10% is covered now. If you ever feel like another type is missing and have the spare time, contributions are welcome. :-) There's a guide on how to add new instances to leancheck-instances in one of its README sections.
Perhaps this is for leancheck-instances? --- I recently wanted
Use case: terms with variables, something like
and
Term Void
is ground terms (i.e., without variables)