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

New posts in agda

Type Hierarchy in Agda

types hierarchy agda

How to map Type to Value in Idris/Agda/Coq?

coq agda idris dependent-type

Agda: parsing nested lists

parsing haskell agda dependent-type

Modeling the ST monad in Agda

haskell agda st-monad

What exactly makes a type system consistent?

haskell types functional-programming agda lambda-calculus

Name for a type constructor that is both a category and a monad?

haskell agda category-theory

Why do Calculus of Construction based languages use Setoids so much?

coq agda lean

≡-Reasoning and 'with' patterns

agda

What are sized types in Agda?

types agda type-systems induction totality

Use Agda's input method in other emacs mode?

emacs unicode customization tex agda

Is Agda without K less powerful?

pattern-matching agda dependent-type

Is it possible to get hold of free theorems as propositional equalities?

agda

How can I establish a bijection between a tree and its traversal?

agda idris

Recursion Schemes in Agda

haskell recursion agda catamorphism recursion-schemes

Haskell's Arrow-Class in Agda and -> in Agda

haskell agda arrows

How do I prove a "seemingly obvious" fact when relevant types are abstracted by a lambda in Idris?

agda theorem-proving idris

Types containing with/rewrite clauses in agda, or, how to use rewrite instead of subst?

agda

Pattern matching in Observational Type Theory

haskell agda gadt type-theory observational-type-theory

Parametrized Inductive Types in Agda

gadt agda
« Newer Entries Older Entries »