4 releases (2 breaking)
| 0.3.0 | Dec 22, 2022 |
|---|---|
| 0.2.1 | Nov 25, 2022 |
| 0.2.0 | Nov 25, 2022 |
| 0.1.0 | Nov 25, 2022 |
#605 in Simulation
125KB
3K
SLoC
sequent-repl
An adapter for using Sequent with Revolver.
Dependencies
~2–3MB
~61K SLoC
| 0.3.0 | Dec 22, 2022 |
|---|---|
| 0.2.1 | Nov 25, 2022 |
| 0.2.0 | Nov 25, 2022 |
| 0.1.0 | Nov 25, 2022 |
#605 in Simulation
125KB
3K
SLoC
sequent-replAn adapter for using Sequent with Revolver.
~2–3MB
~61K SLoC