close
The Wayback Machine - https://web.archive.org/web/20201109182726/https://github.com/dolio
Skip to content
Avatar
  • Block or report user

    Block or report dolio

    Block user

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

    Report abuse

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

    Report abuse
35 followers · 0 following · 6

Highlights

  • Arctic Code Vault Contributor

Organizations

@scalaz @analytics @ermine-language

Popular repositories

  1. ww-fusion

    Forked from takano-akio/ww-fusion

    extension to fold/build fusion

    Haskell 5 1

  2. scalaz

    Forked from scalaz/scalaz

    An extension to the core scala library.

    Scala 1

  3. 256-jungle

    Forked from vim-scripts/256-jungle

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

    Vim script 1 1

  4. unison

    Forked from unisonweb/unison

    A friendly programming language from the future

    Haskell 1

  5. vim2hs

    Forked from dag/vim2hs

    vim2hs :: Vim -> Haskell

    Vim script

  6. hashable-extras

    Forked from ekmett/hashable-extras

    Higher-rank hashable

    Haskell

314 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

November 2020

dolio has no activity yet for this period.

October 2020

Created 12 commits in 2 repositories
Created 1 repository

Created a pull request in agda/cubical that received 7 comments

Assorted proofs about booleans and related types

This work contains a bunch of assorted stuff about booleans and types isomorphic to booleans. Various stuff related to ⊕ is developed, because it's…

+663 −6 • 7 comments
Opened 5 other pull requests in 2 repositories
Reviewed 5 pull requests in 1 repository

Created an issue in agda/agda that received 3 comments

`variable` use adds explicit argument

Consider the following code: open import Data.Product open import Data.Nat.Base NEX : Set₁ NEX = Σ[ A ∈ Set ] (ℕ → A) variable A : NEX B : A .proj₁ →…

3 comments

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

You can’t perform that action at this time.