Block or report user

Organizations

@Avalon-Team @TerrariaPrismTeam @pokemon-go-dev

Pinned repositories

  1. idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1.8k 444

  2. TerrariaPrismTeam/Prism

    Modding API for Terraria 1.3

    C# 33 9

  3. Altar.NET

    GameMaker: Studio data.win unpacker (mainly for Undertale)

    C# 17 4

  4. dfindex/dfi

    Peer-to-peer torrent indexing

    Go 108 9

  5. siv

    Command-line client for Zif (Mirror: please use the GitLab repository for issues and PRs)

    Haskell 2

  6. Moved_To_Gitlab

    Forked from atom0s/Moved_To_Gitlab

    I have moved to Gitlab, I encourage you to do the same.

    1

108 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

Created an issue in idris-lang/Idris-dev that received 2 comments

0/0 is being compiled as -Infinity, which fails to compile (using the C backend).

In the following program, 0 / 0 is compiled as -Infinity instead of NaN. The C backend (as well as the JavaScript backend) then emit this as -Infinity

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