search

granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://granule-project.github.io
BSD 3-Clause "New" or "Revised" License
589 stars 33 forks source link

grenchmark: load `benchmarkList` thru Cabal `data-files`; start on image config #235

Closed raehik closed 9 months ago

raehik commented 9 months ago

Targeting synthesis-artefact.

raehik commented 9 months ago

@jackohughes