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

New posts in agda

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

Agda: my code doesn't type check (how to get implicit arguments right?)

haskell agda dependent-type

refl in agda : explaining congruence property

equality agda

How to compare two sets in Agda?

haskell functional-programming agda

Agda: Pair of vectors that have the same length

haskell agda

Is it possible to create a type-level representation of generic ADTs?

functional-programming agda algebraic-data-types idris church-encoding

Agda: how does one obtain a value of a dependent type?

agda dependent-type

What's a good way to represent free groups?

agda dependent-type idris

How to get syntax declarations to be used by case splitting

emacs agda

Why does the Agda typechecker crash on this program

typechecking agda type-theory

Does Idris have an equivalent to Agda's ↔

list equality agda idris

Types are erased before run time

types compilation type-erasure agda type-theory

Partial function in Coq / underdefined?

compiler-construction isabelle agda
« Newer Entries Older Entries »