Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Add w4EvalTerm for round-tripping terms of any type through what4. #107

Closed
wants to merge 1 commit into from

Add `w4EvalTerm` for round-tripping terms of any type through what4.

fd9df6c
Select commit
Loading
Failed to load commit list.
Closed

Add w4EvalTerm for round-tripping terms of any type through what4. #107

Add `w4EvalTerm` for round-tripping terms of any type through what4.
fd9df6c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs