search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
10 stars 1 forks source link

Migrate juvix.yaml to Package.juvix #89

Closed paulcadman closed 11 months ago

paulcadman commented 11 months ago

This PR migrates the juvix.yaml files for the stdlib and its test package.