Issues

• Type splayed recursive types cannot have parameters

  JHU-PL-Lab/jaylang#16 · Filter by author brandonzstride opened on Jun 30, 2025

• GADTs with actual type parameters need an intensional type

  JHU-PL-Lab/jaylang#14 · Filter by author brandonzstride opened on Apr 30, 2025

• singlet and Mu do not work on higher kinded types.

  JHU-PL-Lab/jaylang#13 · Filter by author brandonzstride opened on Apr 30, 2025
  2

• Self-returning types check forever

  JHU-PL-Lab/jaylang#11 · Filter by author brandonzstride opened on Apr 25, 2025

• Recursive computations passed to wrapped functions have exponential runtime

  JHU-PL-Lab/jaylang#10 · Filter by author brandonzstride opened on Apr 25, 2025