search

anoma / juvix-stdlib

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

Add FromNatural instances for Int and Field #117

Closed paulcadman closed 3 months ago

paulcadman commented 3 months ago

Adds FromNatural instances for Int and Field.

Used by:

A temporary version of juvix-quickcheck is used that works with the Natural/FromNatural changes.