All issues

Search results

Truncated versions of LPO

Status: Open.

#446 In martinescardo/TypeTopology;

· sagittarius255 opened on Jun 19, 2026

Add an alternative definition of Kuratowski-finiteness using listed

Status: Open.

#223 In martinescardo/TypeTopology;

· ayberkt opened on Dec 4, 2023

A to-do from the LiftingSetAlgebraic 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 index.lagda

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