Agda | npm.io

The Agda Standard Library

0.9.3 • Published 10 years ago

Big operators as exploration functions in Agda

0.0.1 • Published 10 years ago

JS bindings for Agda

0.0.1 • Published 10 years ago

Extension of agda-stdlib

0.0.1 • Published 10 years ago

Deriving parametricity results in Agda: "theorems for free"

0.0.3 • Published 10 years ago

Shallow embedding of Protocols using Agda dependent types

0.0.3 • Published 10 years ago

A command-line tool to check Agda files and goals

1.1.1 • Published 1 year ago

A command-line tool to perform Agda commands like checking, running, and compiling

1.0.3 • Published 11 months ago

Agda Packages