Issues

• Add to Coq Platform

  DeepSpec/InteractionTrees#263 · Filter by author Lysxia opened on Feb 20, 2024

• Consolidate stateT to extlib?

  DeepSpec/InteractionTrees#258 · Filter by author elefthei opened on Jun 2, 2023
  6

• Universe inconsistency when paired with RelationAlgebra

  DeepSpec/InteractionTrees#254 · Filter by author YaZko opened on Mar 6, 2023
  10

• Make IForest's bind associative

  enhancementitrees
  DeepSpec/InteractionTrees#240 · Filter by author Lysxia opened on May 26, 2022

• Reduce use of classical axioms

  enhancementquestion
  DeepSpec/InteractionTrees#233 · Filter by author Lysxia opened on Mar 21, 2022

• Consider adding Hint Mode for typeclasses

  enhancement
  DeepSpec/InteractionTrees#230 · Filter by author palmskog opened on Jan 24, 2022

• Use #[export] instead of #[global]?

  coq-devquestion
  DeepSpec/InteractionTrees#221 · Filter by author Lysxia opened on Dec 29, 2021

• Build documentation using dune instead of make

  coq-devpackaging
  DeepSpec/InteractionTrees#201 · Filter by author Lysxia opened on Mar 7, 2021

• Check axioms in CI

  ci
  DeepSpec/InteractionTrees#195 · Filter by author Lysxia opened on Feb 14, 2021

• Prove (or disprove) "iter after iter" equation

  question
  DeepSpec/InteractionTrees#187 · Filter by author Lysxia opened on Aug 15, 2020
  1

• Improve mrec-fix notation

  enhancementquestion
  DeepSpec/InteractionTrees#173 · Filter by author Lysxia opened on Jun 4, 2020

• Universe inconsistency

  bugcoq-devquestion
  DeepSpec/InteractionTrees#172 · Filter by author alxest opened on Jun 4, 2020
  4

• Find/Make a Category Theory Library

  coq-devhelp wantedquestion
  DeepSpec/InteractionTrees#167 · Filter by author Lysxia opened on Mar 30, 2020
  3

• Rewriting is slow

  coq-devenhancement
  DeepSpec/InteractionTrees#161 · Filter by author Lysxia opened on Feb 3, 2020

• Move MonadTheory into ext-lib

  coq-devquestion
  DeepSpec/InteractionTrees#140 · Filter by author Lysxia opened on Sep 25, 2019
  4

• Shortcomings of subevents

  enhancementquestionwip
  DeepSpec/InteractionTrees#130 · Filter by author YaZko opened on May 6, 2019
  5

• Documentation should give examples

  experimentshelp wantedquestion
  DeepSpec/InteractionTrees#88 · Filter by author Zdancewic opened on Mar 6, 2019

• Equivalence up-to-effects

  enhancementitrees
  DeepSpec/InteractionTrees#65 · Filter by author gmalecha opened on Feb 18, 2019
  3

• Handlers don't mix with recursion

  itreesquestion
  DeepSpec/InteractionTrees#55 · Filter by author Lysxia opened on Feb 8, 2019
  2

• refinement relation between nondetE trees

  enhancementitrees
  DeepSpec/InteractionTrees#42 · Filter by author aa755 opened on Jan 11, 2019
  6