Search results

update line and file count

Status: Open.

#290 In martinescardo/TypeTopology;

· martinescardo opened on Jun 23, 2024

Add an alternative definition of Kuratowski-finiteness using <code>listed</code>

Status: Open.

#223 In martinescardo/TypeTopology;

· ayberkt opened on Dec 4, 2023

A to-do from the <code>LiftingSetAlgebraic</code> module

domain-theory

Status: Open.

#222 In martinescardo/TypeTopology;

· ayberkt opened on Nov 28, 2023

Define the Lawson topology of a dcpo

domain-theory

locale-theory

Status: Open.

#219 In martinescardo/TypeTopology;

· ayberkt opened on Nov 21, 2023

Clarify the terminology of “cofinal”

Status: Open.

#213 In martinescardo/TypeTopology;

· ayberkt opened on Oct 17, 2023

Add comments to <code>index.lagda</code>

Status: Open.

#191 In martinescardo/TypeTopology;

· ayberkt opened on Sep 21, 2023

Add comments to the locale theory development

enhancementNew feature or requestNew feature or request

locale-theory

Status: Open.

#190 In martinescardo/TypeTopology;

· ayberkt opened on Sep 21, 2023

Define the sublocale of a locale

locale-theory

Status: Open.

#183 In martinescardo/TypeTopology;

· ayberkt opened on Sep 9, 2023

Decouple the small basis condition from the definitions of regularity and zero-dimensionality

enhancementNew feature or requestNew feature or request

Status: Open.

#169 In martinescardo/TypeTopology;

· ayberkt opened on Aug 2, 2023

Proper compilation to HTML

Status: Open.

#86 In martinescardo/TypeTopology;

· ayberkt opened on Apr 16, 2022