Block or report user

Popular repositories

  1. categories

    Forked from copumpkin/categories

    Categories parametrized by morphism equality, in Agda


3 contributions in the last year

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

Contribution activity First issue Joined GitHub

November 2017

djahandarie has no activity yet for this period.

October 2017

Created an issue in vega/vega-lite that received 2 comments

Selections don't like signal references as their event stream

If you have a selection like follows... "selection": { "current": { "type": "single", "on": {"signal": "newCurrent"}, "fields": ["index"] } } the f…

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