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

New posts in 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

Installing Agda onto Windows 7

agda

What is the exact difference between Fix and Self on the Calculus of Constructions?

haskell functional-programming agda idris
« Newer Entries Older Entries »