This repository has been archived by the owner on Apr 2, 2023. It is now read-only.
Releases: RedPRL/sml-redprl
Releases · RedPRL/sml-redprl
v0.1.0: Fix/issue 182 (#183)
* fix backwards parse of sequencing tactical :) * fix parsing of multiple bindings in sequencing tactical * add a test for the primitive sequencing tactical