Search results

A frozen artifact

Status: Open.

#52 In HoTT/HoTT-Agda;

· HuStmpHrrr opened on Jan 1, 2020

<code>instance</code>s with explicit arguments in <code>NType.agda</code> no longer works under the master branch of Agda

Status: Open.

#51 In HoTT/HoTT-Agda;

· ice1000 opened on Jan 21, 2019

Definition of <code>Bool</code> should follow the builtin form

Status: Open.

#50 In HoTT/HoTT-Agda;

· ice1000 opened on Nov 10, 2018

Fix cohomology.MayerVietorisExact.

Status: Open.

#33 In HoTT/HoTT-Agda;

· favonia opened on Dec 3, 2017

Update the HIT_README file for rewriting

Status: Open.

#26 In HoTT/HoTT-Agda;

· ruhatch opened on May 8, 2017

infix path composition not parsed correctly

Status: Open.

#22 In HoTT/HoTT-Agda;

· mikeshulman opened on Jul 16, 2016

Constructors of the same name confuse Agda

Status: Open.

#5 In HoTT/HoTT-Agda;

· aerskine opened on Dec 14, 2013