Pinned Loading

1. ai-safety-via-static-analysis ai-safety-via-static-analysis Public

   Proving that the neural network really did learn its safety property

   TypeScript 1

2. klister klister Public

   an implementation of stuck macros

   Haskell 146 12

3. recursion-schemes/recursion-schemes recursion-schemes/recursion-schemes Public

   Generalized bananas, lenses and barbed wire

   Haskell 350 61

4. haskell-hint/hint haskell-hint/hint Public

   Runtime Haskell interpreter

   Haskell 268 43

5. Who says Agda doesn't have tactics? ... Who says Agda doesn't have tactics? 4-ish mechanisms for generating proofs in Agda

   1

   -- A demonstration of Agda's mechanisms for generating proofs:

   2

   -- * 1. fromMaybe

   3

   -- * 2a. macros

   4

   -- * 2b. type-aware macros

   5

   -- * 2c. stuck macros

6. typelevel-rewrite-rules typelevel-rewrite-rules Public

   rewrite rules for type-level equalities

   Haskell 62 4