Issues

• Using Subst in Three Scope/Subst.hs Functions

  diprism/perpl#169 · Filter by author siscalie opened on Oct 9, 2025

• term2fgg For a Let x:tp1 = tm1 in tm2 Expression

  diprism/perpl#168 · Filter by author siscalie opened on Oct 9, 2025

• Unresolved dependencies error

  diprism/perpl#165 · Filter by author davidweichiang opened on Sep 26, 2025
  1

• Compile directly to PyTorch

  research
  diprism/perpl#164 · Filter by author davidweichiang opened on Sep 10, 2025

• Algebraic weights

  diprism/perpl#163 · Filter by author davidweichiang opened on Sep 4, 2025
  2

• Recognize Doubles as Constants (not just Factor Weights)

  diprism/perpl#161 · Filter by author siscalie opened on May 16, 2025
  2

• tests/good/syntax_terms.ppl takes forever

  diprism/perpl#159 · Filter by author davidweichiang opened on Apr 29, 2025

• answer_* tests are supposed to fail, but they don't

  diprism/perpl#158 · Filter by author davidweichiang opened on Apr 29, 2025

• von_neumann.ppl fails quietly

  diprism/perpl#140 · Filter by author davidweichiang opened on Jan 29, 2024

• Improve README

  diprism/perpl#139 · Filter by author davidweichiang opened on Jan 22, 2024

• Continuous variables

  research
  diprism/perpl#138 · Filter by author davidweichiang opened on Oct 26, 2023
  2

• == for recursive datatypes too restrictive

  diprism/perpl#135 · Filter by author colin-mcd opened on Feb 8, 2023
  2

• Confusing error messages - insufficiently restricted recursive polymorphic datatypes?

  diprism/perpl#133 · Filter by author colin-mcd opened on Jan 4, 2023

• Should fold be lazy?

  research
  diprism/perpl#131 · Filter by author davidweichiang opened on Dec 1, 2022
  

• Breaking recursion

  enhancementresearch
  diprism/perpl#124 · Filter by author davidweichiang opened on Sep 9, 2022
  1

• extern with recursive type

  enhancementresearch
  diprism/perpl#123 · Filter by author davidweichiang opened on Sep 9, 2022
  6

• Alpha-renaming documentation / possible bug

  diprism/perpl#119 · Filter by author davidweichiang opened on Sep 5, 2022
  5

• REPL?

  diprism/perpl#113 · Filter by author davidweichiang opened on Aug 25, 2022
  1

  

• Binding patterns

  enhancement
  diprism/perpl#98 · Filter by author ccshan opened on Aug 2, 2022
  8

  

• AffLin and curried arguments

  diprism/perpl#95 · Filter by author davidweichiang opened on Jul 31, 2022
  3

• Type aliases

  enhancement
  diprism/perpl#92 · Filter by author davidweichiang opened on Jul 28, 2022

• Lexically distinguish type variables and type constructors?

  diprism/perpl#85 · Filter by author davidweichiang opened on Jul 21, 2022

• Suggested cleanups

  diprism/perpl#79 · Filter by author davidweichiang opened on Jul 17, 2022
  16

• O(n⁶) is no joke

  diprism/perpl#61 · Filter by author ccshan opened on May 16, 2022
  3

• Polymorphic type annotations

  enhancement
  diprism/perpl#51 · Filter by author davidweichiang opened on Apr 13, 2022