Skip to content
  • University of Glasgow
  • Europe
Pro
Block or report user

Report or block jfdm

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
  • University of Glasgow
  • Europe
Block or report user

Report or block jfdm

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. idris-containers

    Various data structures for use in the Idris Language.

    Idris 86 20

  2. pyPEBEL Archived

    A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.

    Python 18 5

  3. idris-config Archived

    Parsers for various configuration files written in Idris.

    Idris 18 6

  4. sta-latex Archived

    Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.

    TeX 14 1

  5. idris-xml

    A simple XML module for Idris.

    Idris 14 1

  6. idris-testing Archived

    Testing Utilities for Idris programs.

    Idris 9 1

153 contributions in the last year

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

Contribution activity

May 2020

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

INTERNAL ERROR $f is not a function appliation

Idris2 throws an internal error as it treats a pattern variable as a function due to the pattern variable being named the same as the function in w…

2 comments

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

You can’t perform that action at this time.