Block or report user

Organizations

@intellifactory @links-lang

Popular repositories

  1. IdrisNet2

    A proper network library for Idris, now that I know what I'm doing.

    Idris 53 8

  2. IdrisNet

    Verified networking using dependent types

    Idris 10 2

  3. monitored-session-erlang

    Supervised Session Actors

    Erlang 8

  4. session-type-checker

    An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session Types".

    Haskell 3

  5. mmspider

    MMS Crawler, notifies when grades are up

    1 1

  6. mse-chat

    Chat server using multiparty session types

    Erlang 1

234 contributions in the last year

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

Contribution activity

June 2018

Created a pull request in ocaml/ocaml that received 4 comments

Allow non-val payload types in CMM Ccatch

Summary This patch adds explicit type annotations for Ccatch payloads in the CMM IR, thus supporting payloads which are not of type val. (Now with …

+109 −27 4 comments

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