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
how to interpret REL in agda
Dec 07, 2022
agda
dependent-type
Do agda programs necessarily terminate?
Dec 01, 2022
emacs
agda
halting-problem
Function definition by induction principles in Agda
Nov 12, 2022
agda
type-theory
Lexicographic ordering of pairs/lists in Agda using the standard library
Nov 02, 2022
standard-library
agda
Categories library for Agda?
Nov 03, 2022
standard-library
agda
category-theory
CoNat : proving that 0 is neutral to the left
Oct 18, 2022
proof
agda
curry-howard
coinduction
codata
Proofs involving decidable equality
Oct 08, 2022
agda
Eliminating subst to prove equality
Jun 21, 2020
gadt
agda
Congruence for heterogenous equality
Oct 07, 2021
equality
proof
gadt
agda
Agda and Binary Search Trees
Jan 19, 2019
agda
How do I use Agda's implementation of delimited continuations?
Jan 29, 2022
standard-library
agda
delimited-continuations
Generic programming via effects
Dec 27, 2019
haskell
generic-programming
agda
dependent-type
idris
Finding out which metas are unsolved in an Agda program
May 03, 2020
type-inference
agda
elaboration
Why can't (Set -> Set) have type Set?
Nov 11, 2022
types
lambda-calculus
agda
« Newer Entries
Older Entries »
Menu