Pinned

1. sea sea Public

   documenting my C learning journey

   C

2. ppx_seq ppx_seq Public

   Simple unintrusive ppx rewriter that offers Seq literals

   OCaml 2

3. nondeterministic choice implemented ... nondeterministic choice implemented in different languages

   1

   {-# OPTIONS_FRONTEND -Wno-overlapping #-}

   2

   3

   import AllSolutions

   4

   5

   insert :: a -> [a] -> [a] -- warning: overlapping patterns = ndet

4. derivatives of ADTs are their zippers derivatives of ADTs are their zippers

   1

   -- list derivation

   2

   -- data [a] = [] | a : [a]

   3

   {-

   4

     l = 1 + a ⋅ l

   5

     l - a ⋅ l = 1

5. this actually works :D this actually works :D

   1

   (*

   2

   nat(z).

   3

   nat(s(N)) :- nat(N).

   4

   5

   plus(N, z, N).

6. proofs proofs Public

   Idris