search

anoma / juvix-stdlib

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

Add specialize pragma for find #109

Closed lukaszcz closed 2 months ago

lukaszcz commented 2 months ago
paulcadman commented 2 months ago

This needs to be rebased on https://github.com/anoma/juvix-stdlib/pull/108 to pass the formatting test.