Search results

cubical.exe does not support {- -} comments

Status: Open.

#104 In mortberg/cubicaltt;

· mwand opened on Dec 29, 2018

boundaries of nested splits

Status: Open.

#102 In mortberg/cubicaltt;

· dlicata335 opened on Sep 9, 2018

New lines when printing systems

enhancement

Status: Open.

#101 In mortberg/cubicaltt;

· guillaumebrunerie opened on Sep 4, 2018

Evaluation priority idea

Status: Open.

#93 In mortberg/cubicaltt;

· PaulGustafson opened on Jan 12, 2018

Path completion in :l

Status: Open.

#91 In mortberg/cubicaltt;

· nponeccop opened on Nov 11, 2017

Layout errors crash REPL

Status: Open.

#90 In mortberg/cubicaltt;

· nponeccop opened on Nov 11, 2017

Allow opaque/transparent in the command line

Status: Open.

#89 In mortberg/cubicaltt;

· guillaumebrunerie opened on Nov 8, 2017

Document opaque / transparent

Status: Open.

#85 In mortberg/cubicaltt;

· joelburget opened on Oct 20, 2017

Bracket matching of \(x : A)

Status: Open.

#84 In mortberg/cubicaltt;

· guillaumebrunerie opened on Oct 19, 2017

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

Status: Open.

#74 In mortberg/cubicaltt;

· xekoukou opened on Aug 19, 2017

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

Status: Open.

#69 In mortberg/cubicaltt;

· PaulGustafson opened on Jun 9, 2017

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

Status: Open.

#67 In mortberg/cubicaltt;

· guillaumebrunerie opened on Jun 8, 2017