Actually remove unused files · lastland/ClairvoyanceMonad@5ec684f

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

A coercion will be introduced instead of an instance in future

Ignoring canonical projection to exact_IsAA by AA_IsAA in AA_bool:

Adding and removing hints in the core database implicitly is

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Provide feedback