Pinned Loading

1. gdp-demo gdp-demo Public

   A example on how to capture a lot on knowledge in a friendly way using Servant and Ghosts of departed proofs

   Haskell 4

2. elm-knowledge-as-code-exploration elm-knowledge-as-code-exploration Public

   A showcase of a not-yet-published update to mtonnberg/refinementproofs

   Elm

3. refinement-proofs refinement-proofs Public

   Elm

4. servant-gdp servant-gdp Public

   A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types

   Haskell 10 1

5. operation-slackjaw operation-slackjaw Public

   A chatops app for slack

   Go 1