Block or report user

Popular repositories

  1. ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS 134 30

  2. ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    C 30 18

  3. ATS-Postiats-test

    This repository is primarily for testing ATS2 on various platforms

    ATS 5 3

  4. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language


  5. ATS-CMake

    Forked from steinwaywhw/ATS-CMake

    CMake Modules and Examples for building ATS projects


  6. org.ats-lang.documentation

    Forked from alex-ren/org.ats-lang.documentation

    Documentation of ATS related topics.


1,860 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created an issue in August-Alm/ATS-Experiments that received 3 comments

Unused code

By the way, the following code is not needed: implement gcompare_val_val<input>(x, y) = $, y) because 'input' is now assumed to be 'int'…

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