Skip to content
View hyphenrf's full-sized avatar
  • Egypt

Highlights

  • Pro

Block or report hyphenrf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  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 3

  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