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
Multi-Parameter Sub-Classes in Idris
Oct 20, 2022
idris
natToFin when there is evidence that the conversion will work
Mar 28, 2020
idris
Dependent types [closed]
Aug 05, 2022
types
type-systems
idris
Unifying len and S len would lead to infinite value
Mar 18, 2022
type-inference
dependent-type
idris
Idris Nat literals in types
Mar 13, 2019
idris
Force one argument to be greater than another in Idris
Jul 12, 2022
idris
Efficiently abstracting over datatype arity
Feb 13, 2022
haskell
agda
dependent-type
idris
Primitive operations in proofs
Aug 29, 2022
primitive-types
idris
formal-verification
Using Idris to Model State Machine of Open-Close Door
Oct 19, 2019
state-machine
idris
How to constraint input type and output type to be the same?
Apr 25, 2022
type-safety
dependent-type
idris
Idris - Define a primes type
Sep 23, 2021
primes
idris
Idris - Eq for enumerated type
Jul 13, 2022
types
idris
Can Idris support row-polymorphism?
Apr 26, 2022
idris
In Idris, how to write a "vect generator" function that take a function of index in parameter
Apr 24, 2017
dependent-type
idris
Total definition of Gcd in Idris
May 18, 2022
idris
Type functions at run-time in Idris
Apr 29, 2022
types
idris
Is it possible to create a type-level representation of generic ADTs?
Dec 25, 2021
functional-programming
agda
algebraic-data-types
idris
church-encoding
Idris - proving equality of two numbers
Apr 30, 2022
idris
theorem-proving
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
« Newer Entries
Older Entries »
Menu