❤
npm
Sign UpSign In

np

Nicolas Pouillard

Packages 5

  • agda-parametricity

    Deriving parametricity results in Agda: "theorems for free"

    np
    published version 0.0.3, 10 years ago

  • agda-nplib

    Extension of agda-stdlib

    np
    published version 0.0.1, 10 years ago

  • agda-libjs

    JS bindings for Agda

    np
    published version 0.0.1, 10 years ago

  • agda-protocols

    Shallow embedding of Protocols using Agda dependent types

    np
    published version 0.0.3, 10 years ago

  • agda-explore

    Big operators as exploration functions in Agda

    np
    published version 0.0.1, 10 years ago