Search results

Line numbers

Status: Open.

#42 In idris-community/katla;

· joelberkeley opened on Mar 14, 2025

Batch mode

Status: Open.

#31 In idris-community/katla;

· iacore opened on Dec 8, 2022

Whitespace in multiline string literals inconsistent with outside

Status: Open.

#28 In idris-community/katla;

· ysangkok opened on Oct 31, 2022

Postulate, Hole, Implicit not reachable

Status: Open.

#27 In idris-community/katla;

· ysangkok opened on Oct 27, 2022

Add links to definition sites in html backend

backend: html

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In idris-community/katla;

· gallais opened on Apr 20, 2022

Separate .css and .js files in html backend

backend: html

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In idris-community/katla;

· gallais opened on Apr 20, 2022