DEVHIDE
Login Or Sign up

List Question

20
44
Views

How to get normal values from fastPack in Idris?

Published on
#idris #idris2
38
Views

Erased arguments in type constructors

Published on
#idris #erasure #quantitative-types
31
Views

What does it mean to import a directory in Idris2?

Published on
#idris #idris2
32
Views

Type-safe linear maybeToList

Published on
#idris #idris2
101
Views

Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)

Published on
#idris #combinators #idris2
45
Views

Understanding of dependant types machines in Idris

Published on
#types #state-machine #idris
52
Views

Can any dynamic language can write the some prog like the book<Type-Driven Development with idris>'s Chapter6's datastore?

Published on
#python #ruby #idris
53
Views

Cannot match two identical types

Published on
#printf #typeerror #typechecking #type-mismatch #idris
46
Views

Idris prove termination of proof without assert_smaller

Published on
#idris #termination
59
Views

Idris: rewrite does not work (rewriting by ... did not change)

Published on
#idris
67
Views

What is the equivalent of mapM and mapM_ in idris2?

Published on
#monads #idris #idris2
63
Views

How to generate a Decidable inequality proof in Idris2?

Published on
#idris #idris2
79
Views

How to write a pure function in idris2 FFI?

Published on
#functional-programming #ffi #idris #idris2
24
Views

Updating a dependently typed field without updating what it depends on

Published on
#record #idris #dependent-type #idris2
96
Views

Does idris support a way to collapse symmetrical statements into one?

Published on
#haskell #functional-programming #idris
76
Views

Selecting a named implementation in Idris 2

Published on
#syntax #typeclass #idris
92
Views

How to use the result of a depedent pair?

Published on
#idris #dependent-type #idris2
241
Views

Mapping functions over data in 'sum-types' in strongly typed programming languages

Published on
#haskell #rust #f# #idris #purescript
112
Views

How to fix an inaccessible variable in idris2?

Published on
#idris #idris2
82
Views

Destructuring result of applying a linear function

Published on
#typechecking #idris #linear-types

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json

Popular Questions

.

Copyright © 2021 Jogjafile Inc.