Skip to content

feat: Wpi definition#2

Closed
HaleOIC wants to merge 24 commits into
ISTA-PLV:wpifrom
HaleOIC:wpi
Closed

feat: Wpi definition#2
HaleOIC wants to merge 24 commits into
ISTA-PLV:wpifrom
HaleOIC:wpi

Conversation

@HaleOIC
Copy link
Copy Markdown
Collaborator

@HaleOIC HaleOIC commented Mar 16, 2026

  • initial implementation of ihandler

@HaleOIC HaleOIC deleted the branch ISTA-PLV:wpi March 31, 2026 06:56
@HaleOIC HaleOIC closed this Mar 31, 2026
@HaleOIC HaleOIC deleted the wpi branch March 31, 2026 06:56
@HaleOIC HaleOIC restored the wpi branch March 31, 2026 06:59
alvinylt added a commit that referenced this pull request May 15, 2026
…positions in the spatial context using separation conjunction as the connective

TODO #1: use icasesPat for case destruction
TODO #2: generalise the tactic using type classes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants