Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in idris
How to make Vect n Int an instance of Monoid
Mar 20, 2023
haskell
types
functional-programming
dependent-type
idris
'half' function type signature in Idris
Mar 12, 2023
dependent-type
idris
LTE for Integers (ZZ)
Mar 10, 2023
idris
How to pattern match multiple values in Idris/Agda/Coq?
Mar 09, 2023
coq
agda
dependent-type
idris
Type Level Fix Point while Ensuring Termination
Mar 06, 2023
idris
Smart constructor for tuple in Idris
Mar 04, 2023
haskell
idris
In Idris, how to add 1 to a Fin until a "max" is Reached
Feb 08, 2023
enums
dependent-type
idris
Why Nat data type in Idris starts with 0 and not 1?
Feb 09, 2023
dependent-type
idris
Dependent Types in Elm
Feb 07, 2023
types
elm
dependent-type
idris
Why does Idris conflate a value name with a type argument name that is subsequently defined?
Jan 31, 2023
idris
(xs : Vect n elem) -> Vect (n * 2) elem
Dec 17, 2022
idris
Formalising regular expressions with a complement operation
Dec 10, 2022
regex
coq
agda
idris
How to use `deriving` in Idris?
Nov 19, 2022
idris
deriving
Is it possible to abstract over kinds in Idris?
Oct 30, 2022
idris
Multi-Parameter Sub-Classes in Idris
Oct 20, 2022
idris
natToFin when there is evidence that the conversion will work
Mar 28, 2020
idris
Generic programming via effects
Dec 27, 2019
haskell
generic-programming
agda
dependent-type
idris
Why doesn't GHC Haskell support overloaded record parameter names?
May 09, 2020
haskell
overloading
record
aeson
idris
indexed by a type vs containing a type in idris
Nov 21, 2021
types
records
dependent-type
idris
phantom-types
Older Entries »
Menu