Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in agda

Function definition by induction principles in Agda

agda type-theory

Lexicographic ordering of pairs/lists in Agda using the standard library

standard-library agda

Categories library for Agda?

standard-library agda category-theory

CoNat : proving that 0 is neutral to the left

proof agda curry-howard coinduction codata

Proofs involving decidable equality

agda

Eliminating subst to prove equality

gadt agda

Congruence for heterogenous equality

equality proof gadt agda

Agda and Binary Search Trees

agda

How do I use Agda's implementation of delimited continuations?

standard-library agda delimited-continuations

Agda standard library - why are more properties not marked abstract?

abstract standard-library agda

Agda: Can't find std-lib when installing with Stack

functional-programming agda dependent-type theorem-proving agda-mode

Using Agda "rewrite" to prove "composition of maps is map of compositions"

agda

How dangerous is trustMe?

agda

Efficiently abstracting over datatype arity

haskell agda dependent-type idris

How to compare two natural numbers in Agda with standard library (like N -> N -> Bool)?

comparison-operators agda

Getting path induction to work in Agda

types agda

Generic programming via effects

haskell generic-programming agda dependent-type idris

Finding out which metas are unsolved in an Agda program

type-inference agda elaboration

Why can't (Set -> Set) have type Set?

types lambda-calculus agda

Differences between Coq and Agda

coq agda
« Newer Entries Older Entries »