- Philadelphia, PA, USA
Block or Report
Block or report jack-pappas
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
fsharp-logic-examples
fsharp-logic-examples PublicExamples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
-
fsharp-tapl
fsharp-tapl PublicAccompanying code for "Types and Programming Languages", ported to F#
-
experimental-functors
experimental-functors PublicAn experiment at expressing functors in F# the .NET type system.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.