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 agda
Why is typecase a bad thing? [closed]
Aug 20, 2022
agda
dependent-type
idris
How to use Agda's auto proof search effectively?
Mar 06, 2020
agda
Why is my definition not allowed because of strict positivity?
Jan 09, 2022
coq
agda
type-theory
What is the combinatory logic equivalent of intuitionistic type theory?
Aug 17, 2022
haskell
types
functional-programming
logic
agda
Differences between Agda and Idris
Aug 14, 2022
agda
type-theory
idris
« Newer Entries
Menu