List Question
20 TechQA 2024-02-07T16:07:56.607000How to get normal values from fastPack in Idris?
44 views
Asked by thor
Erased arguments in type constructors
38 views
Asked by joel
What does it mean to import a directory in Idris2?
31 views
Asked by thor
Type-safe linear maybeToList
32 views
Asked by Johannes Riecken
Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)
101 views
Asked by New_Caird
Understanding of dependant types machines in Idris
45 views
Asked by jackb
Cannot match two identical types
53 views
Asked by Futarimiti
Idris prove termination of proof without assert_smaller
46 views
Asked by Henrique Guerra
Idris: rewrite does not work (rewriting by ... did not change)
59 views
Asked by Henrique Guerra
What is the equivalent of mapM and mapM_ in idris2?
67 views
Asked by thor
How to generate a Decidable inequality proof in Idris2?
63 views
Asked by thor
How to write a pure function in idris2 FFI?
79 views
Asked by thor
Updating a dependently typed field without updating what it depends on
24 views
Asked by Cactus
Does idris support a way to collapse symmetrical statements into one?
96 views
Asked by Jordan Simba
Selecting a named implementation in Idris 2
76 views
Asked by Cactus
How to use the result of a depedent pair?
92 views
Asked by thor
Mapping functions over data in 'sum-types' in strongly typed programming languages
241 views
Asked by AudioBubble
How to fix an inaccessible variable in idris2?
112 views
Asked by thor
Destructuring result of applying a linear function
82 views
Asked by Cactus