Issues

• cubical.exe does not support {- -} comments

  mortberg/cubicaltt#104 · Filter by author mwand opened on Dec 29, 2018
  2

• boundaries of nested splits

  mortberg/cubicaltt#102 · Filter by author dlicata335 opened on Sep 9, 2018
  1

• New lines when printing systems

  enhancement
  mortberg/cubicaltt#101 · Filter by author guillaumebrunerie opened on Sep 4, 2018
  3

• Evaluation priority idea

  mortberg/cubicaltt#93 · Filter by author PaulGustafson opened on Jan 12, 2018

• Path completion in :l

  mortberg/cubicaltt#91 · Filter by author nponeccop opened on Nov 11, 2017

• Layout errors crash REPL

  mortberg/cubicaltt#90 · Filter by author nponeccop opened on Nov 11, 2017

• Allow opaque/transparent in the command line

  mortberg/cubicaltt#89 · Filter by author guillaumebrunerie opened on Nov 8, 2017

• Document opaque / transparent

  mortberg/cubicaltt#85 · Filter by author joelburget opened on Oct 20, 2017
  1

• Bracket matching of \(x : A)

  mortberg/cubicaltt#84 · Filter by author guillaumebrunerie opened on Oct 19, 2017
  1

• cubicaltt crashes when replacing an 'undefined' with a 'hole'.

  mortberg/cubicaltt#74 · Filter by author xekoukou opened on Aug 19, 2017

• "forwardHIT: neutral b" error in hit branch, but not master

  mortberg/cubicaltt#69 · Filter by author PaulGustafson opened on Jun 9, 2017
  1

• Useless(?) hComp’s with empty systems when using higher inductive types

  mortberg/cubicaltt#67 · Filter by author guillaumebrunerie opened on Jun 8, 2017
  10

• Nested splits and path constructors

  mortberg/cubicaltt#63 · Filter by author IanOrton opened on Jun 5, 2017
  2

• Wired program type checked.

  mortberg/cubicaltt#51 · Filter by author molikto opened on Aug 31, 2016
  1

• Add support for nested mutual blocks again

  enhancement
  mortberg/cubicaltt#48 · Filter by author mortberg opened on Jul 29, 2016
  6

• Issue with HIT path constructors.

  bug
  mortberg/cubicaltt#47 · Filter by author RafaelBocquet opened on Jul 27, 2016
  3

• Canonicity failure for Z from recursive path constructors

  bug
  mortberg/cubicaltt#35 · Filter by author tomjack opened on Feb 29, 2016
  6

• Origin of type errors

  enhancement
  mortberg/cubicaltt#22 · Filter by author abooij opened on Oct 22, 2015
  1

• Constructors as first-class citizen

  enhancement
  mortberg/cubicaltt#16 · Filter by author abooij opened on Oct 8, 2015
  2