issues
search
hackworthltd
/
primer
A pedagogical functional programming language.
GNU Affero General Public License v3.0
13
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore(deps): bump actions/checkout from 4.1.6 to 4.1.7
#1266
dependabot[bot]
opened
4 hours ago
0
chore(nix): Update dependencies.
#1265
github-actions[bot]
closed
4 days ago
0
chore: WIP GHC 9.10.1 support
#1264
dhess
opened
1 week ago
1
chore: bump Haskell tools and dependencies
#1263
dhess
closed
1 week ago
0
chore(hackage): index-state: 2024-06-02T00:00:00Z
#1262
dhess
closed
1 week ago
0
chore(nix): Update dependencies.
#1261
github-actions[bot]
closed
1 week ago
1
chore(deps): bump docker/login-action from 3.1.0 to 3.2.0
#1260
dependabot[bot]
closed
1 week ago
0
chore(deps): bump cachix/cachix-action from 14 to 15
#1259
dependabot[bot]
closed
4 days ago
0
chore(deps): bump benchmark-action/github-action-benchmark from 1.20.1 to 1.20.3
#1258
dependabot[bot]
closed
4 days ago
0
chore(deps): bump actions/checkout from 4.1.4 to 4.1.6
#1257
dependabot[bot]
closed
4 days ago
0
chore(deps): bump cachix/install-nix-action from 26 to 27
#1256
dependabot[bot]
closed
4 days ago
0
chore(deps): bump actions/checkout from 4.1.4 to 4.1.5
#1255
dependabot[bot]
closed
3 weeks ago
1
chore(hackage): index-state: 2024-05-05T00:00:00Z
#1254
dhess
closed
1 month ago
0
Investigate `weeder-nix`
#1253
dhess
opened
1 month ago
0
chore(nix): Update dependencies.
#1252
github-actions[bot]
closed
1 month ago
0
chore(deps): bump actions/checkout from 4.1.3 to 4.1.4
#1251
dependabot[bot]
closed
1 month ago
0
chore: minor tooling and doc improvements
#1250
dhess
closed
1 month ago
0
chore: do some DRY
#1249
dhess
closed
1 month ago
0
chore(deps): bump actions/checkout from 4.1.2 to 4.1.3
#1248
dependabot[bot]
closed
1 month ago
0
Interpreter can't reduce top-level definitions
#1247
dhess
opened
1 month ago
0
`RecordPair TyConName ValConName` does not serialize nicely in the OpenAPI API
#1246
dhess
opened
1 month ago
0
chore(nix): Update dependencies.
#1245
github-actions[bot]
closed
1 month ago
0
feat(primer-api): run evaluation requests outside STM
#1244
dhess
closed
1 month ago
0
`tasty_multiple_requests_accepted` property test failures
#1243
dhess
opened
1 month ago
2
`tasty_redex_independent` property test failure
#1242
dhess
opened
1 month ago
0
feat: expose the interpreter via the various APIs
#1241
dhess
closed
1 month ago
4
`tasty_two_interp_agree` property test failure
#1240
dhess
opened
1 month ago
4
Hook interpreter up to API
#1239
dhess
closed
1 month ago
0
refactor: do some DRY for full eval tests
#1238
dhess
closed
1 month ago
0
Duplication in interpreter implementation
#1237
dhess
opened
1 month ago
0
`primer-service`: look into RFC 9457
#1236
dhess
opened
1 month ago
0
chore(nix): Update dependencies.
#1235
github-actions[bot]
closed
2 months ago
0
chore(hackage): upstream `semirings` supports Wasm now
#1234
dhess
closed
2 months ago
1
chore(hackage): bump dependencies to latest versions
#1233
dhess
closed
2 months ago
2
chore: upgrade GHC to 9.10
#1232
dhess
closed
1 week ago
2
ci: fix GitHub workflow for recording benchmark results
#1231
dhess
closed
2 months ago
0
ci: benchmarking and Cachix improvements
#1230
dhess
closed
2 months ago
0
Benchmark results aren’t fetched from Cachix
#1229
dhess
closed
1 month ago
3
chore(benchmarks): new benchmark environment change (20240408.01)
#1228
dhess
closed
2 months ago
0
chore(cabal): index-state: 2024-04-07T00:00:00Z
#1227
dhess
closed
2 months ago
0
ci: only run Wasm tests once a PR reaches the merge queue
#1226
dhess
closed
2 months ago
2
ci: ensure Nix Buildkite plugin jobs are built on Linux builders
#1225
dhess
closed
2 months ago
0
chore: bump GHC to 9.8.2
#1224
dhess
closed
2 months ago
0
Use Buildkite artifacts to cache Wasm build artifacts
#1223
dhess
closed
2 months ago
1
Only run Wasm tests on merge queue or workflow dispatch
#1222
dhess
opened
2 months ago
2
chore(deps): bump benchmark-action/github-action-benchmark from 1.19.3 to 1.20.1
#1221
dependabot[bot]
closed
2 months ago
0
chore(buildkite): switch to new CI system
#1220
dhess
closed
2 months ago
0
chore(deps): bump docker/login-action from 3.0.0 to 3.1.0
#1219
dependabot[bot]
closed
2 months ago
0
chore(deps): bump actions/checkout from 4.1.1 to 4.1.2
#1218
dependabot[bot]
closed
2 months ago
0
chore(deps): bump cachix/install-nix-action from 25 to 26
#1217
dependabot[bot]
closed
2 months ago
0
Next