Skip to content

Commit

Permalink
Added log entry on the deltaq revamp
Browse files Browse the repository at this point in the history
  • Loading branch information
bwbush authored Dec 19, 2024
1 parent 3aa1cf1 commit b73d6d6
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions Logbook.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,11 @@
# Leios logbook

## 2024-12-19

### Jupyter support for new DeltaQ

The new high-performance [dq-revamp](https://github.com/DeltaQ-SD/dq-revamp) Haskell packages provide a polynomial-based implementation of DeltaQ, with many new combinators and a comprehensive property-based test suite. We created [nix derivations](https://github.com/functionally/dq-revamp-jupyter) for running this locally and for creating docker images. This new library can be used for cross-checking other DeltaQ implementations such as Leios's Rust code.

## 2024-12-17

### GitHub Actions
Expand Down

0 comments on commit b73d6d6

Please sign in to comment.