greg
0 Followers · 0 Following
  • Joined on 2021-04-16
Repositories
46
 Projects Packages Public Activity Starred Repositories
1
greg created branch master in greg/statemaker 2023-03-05 22:57:14 -08:00
greg created repository greg/statemaker 2023-03-05 22:57:01 -08:00
greg pushed to master at greg/dependent-types-implementation 2023-03-05 11:25:09 -08:00
02e4d1b254 Initial commit
greg created branch master in greg/dependent-types-implementation 2023-03-05 11:25:09 -08:00
greg created repository greg/dependent-types-implementation 2023-03-05 11:24:54 -08:00
greg pushed to master at greg/haskell-clock 2023-03-01 18:33:22 -08:00
2bcabb3e33 WIP work on the clock rendering
9655a8a126 Current time in model
2f1489aebb Monomer hello world
381ffaf8c6 Print current time
1afc109d0c Initial Haskell stack commit
greg created branch master in greg/haskell-clock 2023-03-01 18:33:22 -08:00
greg created repository greg/haskell-clock 2023-03-01 18:32:54 -08:00
greg pushed to master at greg/beamsweep-animation 2023-02-28 01:29:09 -08:00
4987ca4594 Initial commit
greg created branch master in greg/beamsweep-animation 2023-02-28 01:29:09 -08:00
greg created repository greg/beamsweep-animation 2023-02-28 01:26:49 -08:00
greg pushed to master at greg/ord-nix-package 2023-02-27 02:40:10 -08:00
4588ddb531 Update to 0.5.1
greg pushed to master at greg/rust-parser-combinator 2023-02-26 04:41:14 -08:00
5526ce7bd1 More test parameterization
greg pushed to master at greg/rust-parser-combinator 2023-02-26 04:29:25 -08:00
638139b7da Start using rstest
greg pushed to master at greg/rust-parser-combinator 2023-02-26 03:52:52 -08:00
0d69aa81c1 json_number test working
greg pushed to master at greg/rust-parser-combinator 2023-02-25 16:53:56 -08:00
dfb151e2a3 More work on seq representation
9a3745d25c implement representation for json_bool
5aca3912fc Start making representation work
377d515d40 cargo fmt
f15488194c Remove some uses of closures in test
Compare 5 commits »
greg pushed to master at greg/tab-provenance 2023-02-24 00:35:49 -08:00
c66af1eb27 Add note about hwayne code
greg pushed to master at greg/tab-provenance 2023-02-24 00:31:18 -08:00
f1ec1e045d Add README
greg pushed to master at greg/tab-provenance 2023-02-24 00:30:16 -08:00
95e0c0a93a Remove some console.log statements
a2e2009ff7 Initial functionality commit
greg created branch master in greg/tab-provenance 2023-02-24 00:30:16 -08:00