search

anoma / juvix-stdlib

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

Literal casts #87

Closed lukaszcz closed 11 months ago

lukaszcz commented 11 months ago