mrkgnao / picoLinks

The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
14Updated 7 years ago

Alternatives and similar repositories for pico

Users that are interested in pico are comparing it to the libraries listed below

Sorting: