Skip to content
Pro
Block or report user

Report or block TOTBWF

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 TOTBWF

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

Pinned

  1. A small NuPRL style proof assistant

    Haskell 7

  2. Tactic Metaprogramming in Haskell

    Haskell 25

  3. ⛏️ A refinement proof framework for haskell

    Haskell 10

  4. Current work documents on the Pixy programming language

    TeX 12 2

  5. A reversible language

    Haskell 18

  6. An implementation of partial setiods in agda

    Agda 1

219 contributions in the last year

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

Contribution activity

September 2019

TOTBWF has no activity yet for this period.

August 2019

Created a pull request in fsprojects/FSharpPlus that received 6 comments

Add nupkg generation to CI

This PR adds a nupkg to the appveyor artifacts, fixing #170.

+15 −9 6 comments

Created an issue in fsprojects/FSharpPlus that received 7 comments

CI should produce nupkgs as artifacts

Right now, it is rather tricky to depend on HEAD using paket, as you need to invoke build.sh. I propose that the CI should produce a .nupkg. As an …

7 comments

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

You can’t perform that action at this time.