Skip to content
Avatar
40 followers · 0 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@scalaz @analytics @ermine-language
Block or Report

Block or report dolio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. ww-fusion Public

    Forked from takano-akio/ww-fusion

    extension to fold/build fusion

    Haskell 5 1

  2. scalaz Public

    Forked from scalaz/scalaz

    An extension to the core scala library.

    Scala 1

  3. 256-jungle Public

    Forked from vim-scripts/256-jungle

    Dark-orange colorscheme for 256 color terminals (like xterm).

    Vim script 1 1

  4. unison Public

    Forked from unisonweb/unison

    A friendly programming language from the future

    Haskell 1

  5. vim2hs Public

    Forked from dag/vim2hs

    vim2hs :: Vim -> Haskell

    Vim script

  6. hashable-extras Public

    Forked from ekmett/hashable-extras

    Higher-rank hashable

    Haskell

446 contributions in the last year

Feb 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 2022

Created 10 commits in 1 repository

Created a pull request in unisonweb/unison that received 4 comments

'Linearize' quantified ability variables for better inference

This inserts some processing when ungeneralizing types that should lead to better inference with the newer ability algorithm. It rewrites types like:

+272 −5 • 4 comments
Opened 4 other pull requests in 1 repository
Reviewed 2 pull requests in 1 repository
Opened 1 issue in 1 repository
unisonweb/unison 1 open

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