@hackage / hakyll-agda

Metadata

• Last updated 12 Apr 2021, by FrancescoMazzoli
• License BSD-3-Clause
• Categories Web Development

• Maintained by: Francesco Mazzoli (f@mazzo.li)

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/hakyll-agda who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Homepage
• Documentation
• Source repository

Installation

Tested Compilers

1. 8.4.4