Search results

Current docs don't explain clearly the differences between different <code>lets</code>

Status: Open.

#11 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Nov 14, 2025

Library Documentation of Custom Backend

Status: Open.

#10 In andrevidela/idris-documentation-tracking;

· wizard7377 opened on Aug 21, 2025

Update the Cookbook with network

Status: Open.

#8 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Aug 18, 2025

Make a _Papers_ page in the documentation

Status: Open.

#7 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Aug 13, 2025

Documentation of Elab

Status: Open.

#5 In andrevidela/idris-documentation-tracking;

· wizard7377 opened on Aug 10, 2025

Inspiration from other languages' documentation.

Status: Open.

#4 In andrevidela/idris-documentation-tracking;

· themaniacschemer opened on Aug 5, 2025

PDF version of readthedocs

Status: Open.

#3 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Aug 5, 2025

Collect and evaluate existing documentation

Status: Open.

#2 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Aug 5, 2025

Pack &amp; Libraries are not clearly visible

Status: Open.

#1 In andrevidela/idris-documentation-tracking;

· andrevidela opened on Aug 5, 2025