jwiegley
Follow
jwiegley
Follow
Popular repositories
-
-
git-scripts Public
A bunch of random scripts I've either written, downloaded or clipped from #git.
-
-
category-theory Public
An axiom-free formalization of category theory in Coq for personal study and practical work
-
git-from-the-bottom-up Public
An introduction to the architecture and design of the Git content manager
1,155 contributions in the last year
Less
More
Activity overview
Contributed to
jwiegley/category-theory,
jwiegley/trade-journal,
dfinity/quill
and 5 other
repositories
Contribution activity
April 2022
Created 13 commits in 7 repositories
Created 2 repositories
- jwiegley/pact Haskell
- jwiegley/coq-jlib Coq
Created a pull request in kadena-io/pact that received 1 comment
Changes toward upgrading pact to reflex-platform/nixpkgs-21.05
Note that this requiring updating kpkgs to use reflex-platform branch nixpkgs-21.05. Also, although all of the dependencies now build, pact itself …
+44
−3
•
1
comment
Reviewed 4 pull requests in 2 repositories
dfinity/interface-spec
3 pull requests
ledger/ledger
1 pull request
Created an issue in jwiegley/coq-haskell that received 3 comments
concatMapM not building with coq-master on CI
@palmskog I'm using:
Vulcan ~/src/coq-haskell $ coqc --version
The Coq Proof Assistant, version 8.16+alpha
compiled with OCaml 4.12.1
and this bui…
3
comments
Opened 1 other issue in 1 repository
kadena-io/pact
1
open
5
contributions
in private repositories
Apr 1 – Apr 5