agda

agda

what is the meaning of infixr in Agda?

Type error when trying to pattern-match on something that should be absurd anyway

Agda: run function for Conor's stack example

Implicit arguments and applying a function to the tail-part of fixed-size-vectors

Proof that (prev n) <= m starting from n <= m

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

Agda: parse a string with numbers

≡-Reasoning and 'with' patterns

Installing Agda onto Windows 7

Differences between Agda and Idris

Is the type of propositional equalities actually inductive in the HoTT context?

page:5 of 5 prev page main page

Categories

spring-integration-dsl

flutter-riverpod

cypress-testing-library

turtle-graphics

google-cloud-composer

error-messaging

docker-registry

jquery-query-builder

testing-library

spring-websocket

nsnotifications

procedural-programming

jquery-select2-4

arbitrary-precision

cocoalumberjack

assembly-binding-redirect

android-7.0-nougat

context-sensitive-grammar

angular-ui-tree

jqgrid-formatter

reactive-banana

java-metro-framework

membershipreboot

template-toolkit

cocoalibspotify-2.0

webdev.webserver

securitymanager

Resources