Issues

• vim plugin doesn't work with neovim

  RedPRL/cooltt#397 · Filter by author rachelambda opened on Jul 16, 2022
  1

• [🚫 🐞] Improved Debugging Output

  RedPRL/cooltt#394 · Filter by author TOTBWF opened on Jul 8, 2022
  1

  

• Make hcom, com, coe, et al Chk tactics

  RedPRL/cooltt#393 · Filter by author ralsei opened on Jul 8, 2022

• Deep patching

  enhancement
  RedPRL/cooltt#390 · Filter by author jonsterling opened on Jul 3, 2022

• 🤳 JSreflect

  RedPRL/cooltt#389 · Filter by author favonia opened on Jul 1, 2022

• Problem with patching and names

  bug
  RedPRL/cooltt#387 · Filter by author jonsterling opened on Jun 24, 2022
  3

• ⌨️ Add deftype

  RedPRL/cooltt#381 · Filter by author TOTBWF opened on Jun 6, 2022
  5

• 💿 Remove sigma types from the core language; use records

  RedPRL/cooltt#368 · Filter by author favonia opened on May 11, 2022

• 📥 Auto-inserting .fib projections when the fib field is a record

  RedPRL/cooltt#366 · Filter by author mmcqd opened on Apr 27, 2022

• 🧞 Pretty printing for signatures and structures

  RedPRL/cooltt#331 · Filter by author jonsterling opened on Mar 20, 2022
  

• ☣️ Issue dispatching hcom for sigma types

  bug
  RedPRL/cooltt#303 · Filter by author TOTBWF opened on Feb 23, 2022
  4

  

• 🧦 Splice Linter

  RedPRL/cooltt#300 · Filter by author TOTBWF opened on Jan 28, 2022
  3

• Proposal to extend boundary-sensitive refinement to positive types

  RedPRL/cooltt#297 · Filter by author jonsterling opened on Jan 19, 2022
  2

• Capture bug in implementation of dimension substitution

  bug
  RedPRL/cooltt#288 · Filter by author jonsterling opened on Nov 25, 2021

• 🦆 Inductive Types

  enhancement
  RedPRL/cooltt#282 · Filter by author TOTBWF opened on Sep 24, 2021
  1

  

• 🚰 filler-of tactical?

  papercut
  RedPRL/cooltt#259 · Filter by author cangiuli opened on Jul 13, 2021
  5

• Consider returning to strict universes

  discussion
  RedPRL/cooltt#189 · Filter by author jonsterling opened on Jun 1, 2021
  6

• Add "refinement" type connective

  RedPRL/cooltt#183 · Filter by author jonsterling opened on Jan 20, 2021
  1

• Add judgmental notion of "strictly phi-connected type"

  RedPRL/cooltt#182 · Filter by author jonsterling opened on Jan 20, 2021
  3

• Abstract hcom mechanism

  discussionenhancement
  RedPRL/cooltt#179 · Filter by author cangiuli opened on Sep 30, 2020
  4

• An idea for abstract function interfaces

  RedPRL/cooltt#178 · Filter by author jonsterling opened on Aug 25, 2020
  2

• Elim on a variable already in the context?

  blocked
  RedPRL/cooltt#156 · Filter by author favonia opened on Jun 9, 2020
  1

• Patterns on types: operations to dissect a composite type

  RedPRL/cooltt#131 · Filter by author jonsterling opened on Jun 2, 2020

• Serialization and imports

  RedPRL/cooltt#68 · Filter by author cangiuli opened on May 8, 2020
  3

• selectively bind arguments in a multi-lambda?

  enhancement
  RedPRL/cooltt#61 · Filter by author ecavallo opened on May 8, 2020
  2