Alex Chapman

Add an error parameter to the ThrowAll typeclass

6

This is so that an application can use its own custom error type and still call `throwAll`.

A refactor of the installation section of the user manual. The overall approach is to make installation easy for beginners, making the happy path obvious, but still leave the more...

Create TypeInfo, add type inference unit tests

2

I was trying to figure out how Frames' type inference works. I have to move on to something else for now, but some of what I've done may be useful...

The point of `HasInterpretOptions` would appear to be that you can implement your own instance of it. But it is impossible to implement a custom `HasInterpretOptions` instance because `interpretOptions` is...

Could you please add tags for released versions? I'm trying to package crewai-tools in nixpkgs (see https://github.com/NixOS/nixpkgs/pull/359718) and am having to guess which revision is the latest release and then...

Category and Cartesian instances for polymorphic predicates

5

This is a new category in which the objects are predicates (wrapped in a `PRED` record implicitly containing the underlying type and the predicate) and the morphisms map between these...