Use new named application syntax in `Package.juvix` - Githubissues

anoma / juvix-stdlib

The Juvix standard library

https://anoma.github.io/juvix-stdlib/

10 stars 1 forks source link

Use new named application syntax in `Package.juvix` #107

Closed janmasrovira closed 2 months ago