Block or report user

Report or block f-f

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@Politecnico-Open-unix-Labs @KSF-Media @dhall-lang

Pinned repositories

  1. KSF-Media/gitlab-dashboard

    📺 TV dashboard for a global view on Gitlab Pipelines

    PureScript 35 9

  2. dhall-lang/dhall-lang

    A configuration language guaranteed to terminate

    Nix 1.1k 38

  3. dhall-lang/dhall-kubernetes

    Typecheck, template and modularize your Kubernetes definitions with Dhall

    Python 88 8

  4. dhall-clj

    Dhall to and from Clojure

    Clojure 21 1

  5. home

    Versioning $HOME: NixOS configurations, dotfiles, scripts, etc.

    Emacs Lisp 4

  6. purescript-react-basic-todomvc

    TodoMVC with purescript-react-basic

    PureScript 2 1

811 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in f-f/dhall-clj that received 3 comments

Remove unused code in project.clj

+0 −2 3 comments

Created an issue in dhall-lang/dhall-lang that received 7 comments

Hurkens' paradox?

We were testing further the new kind-polymorphism feature with @phadej, and it looks like we can construct a term of the empty (i.e. bottom) type ∀…


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