Skip to content
Pro
Block or report user

Report or block PhilAndrew

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
Block or report user

Report or block PhilAndrew

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. Renders into Java ByteBuffer

    Java 5 1

  2. JumpMicro Microservices www.jumpmicro.com

    JavaScript 5 2

  3. DGraph for Scala

    Protocol Buffer 4

  4. SLiM Stack

    JavaScript 3

  5. Sortable Tree and Table in Korolev (sortable table and an editable tree)

    Scala 3

  6. Forked from mohiva/play-silhouette-seed

    The Silhouette Seed project is an Activator template which shows how Silhouette can be implemented in a Play Framework application.

    CSS 2

30 contributions in the last year

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

Contribution activity

November 2019

PhilAndrew has no activity yet for this period.

October 2019

Created an issue in idris-hackers/software-foundations that received 2 comments

Page 18, mult function is wrong

Idris version 1.3.2 mult : (n, m : Nat) -> Nat mult Z = Z mult (S k) = plus m (mult k m) Should be mult : (n, m : Nat) -> Nat mult Z _ = Z mult (S…

2 comments

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

You can’t perform that action at this time.