Skip to content
🤡
':<>:
🤡
':<>:
Pro
Block or report user

Report or block kcsongor

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Sponsors

@googleson78
Block or report user

Report or block kcsongor

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. generic-lens

    Generically derive traversals, lenses, and prisms.

    Haskell 378 36

  2. arm-doom

    Doom-like engine on Raspberry Pi, in pure bare metal assembly

    Assembly 44 5

  3. purescript-safe-printf

    Safe printf-like formatting in purescript

    PureScript 30 4

  4. typelevel-prelude

    Standard module for type-level programming in Haskell

    Haskell 27

  5. symbols

    Symbol manipulation

    Haskell 24 2

  6. purescript-record-format

    Experimental record formatting from type-level format strings

    PureScript 22 3

267 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

February 2020

Created a pull request in commercialhaskell/stackage that received 2 comments

Add generic-optics and generic-lens-core

Checklist: Meaningful commit message, eg add my-cool-package (please not mention build-constraints.yml) At least 30 minutes have passed since…

+3 −1 • 2 comments

Created an issue in agda/agda that received 8 comments

Inconsistent inferred universe in data constructor

The following code is accepted (I tested on 2.6.1-0895178): data M : Set where m : (I : _) → (I → M) → M -- inferred -- m : (I : Set) → (I → M) → M …

8 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.