Block or report user

Report or block glmxndr

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Pinned repositories

  1. ghost-t10r

    Ghost Translator - Generate ResourceBundle key accessors

    Kotlin

  2. confets

    Conf[ig snipp]ets

    Emacs Lisp

18 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

Created an issue in vladciobanu/vladciobanu.github.io that received 3 comments

[curry-howard] Re: unicity of arrows

Hi, nice blog post. Two nitpicks though. Similarly to the step before, by definition of product, since we know (A × B) × C is a product of A × B a…

3 comments

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