Skip to content
View dolio's full-sized avatar

Organizations

@scalaz @analytics @ermine-language

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. turing turing Public

    An Agda formalization of the halting problem for Turing machines

    Agda 6

  2. ww-fusion ww-fusion Public

    Forked from takano-akio/ww-fusion

    extension to fold/build fusion

    Haskell 5 1

  3. 256-jungle 256-jungle Public

    Forked from vim-scripts/256-jungle

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

    Vim Script 1 1

  4. unison unison Public

    Forked from unisonweb/unison

    A friendly programming language from the future

    Haskell 1

  5. toee-mod toee-mod Public

    Playing around with Temple of Elemental Evil and Temple+ mods

    Python 1

  6. toee-core toee-core Public

    WIP 'mod' for testing out new ToEE content that comes from core sources

    Python 1