Search results

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

• agda
• parametricity
• deriving
• theorems-for-free

np

published 0.0.3 • 9 years agopublished 0.0.3 9 years ago

agda-libjs

JS bindings for Agda

• agda
• library

np

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago

agda-protocols

Shallow embedding of Protocols using Agda dependent types

• agda
• library

np

published 0.0.3 • 9 years agopublished 0.0.3 9 years ago

agda-nplib

Extension of agda-stdlib

• agda
• library

np

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago

agda-explore

Big operators as exploration functions in Agda

• agda
• library
• big-operators
• fold
• foldable

np

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago