search

hipsleek / Heifer

effects system for continuation
https://hipsleek.github.io/Heifer/
MIT License
16 stars 4 forks source link

Clean up examples directory #4

Open dariusf opened 11 months ago

dariusf commented 11 months ago

Figure out what examples are working, try to get the broken ones working, add interesting ones as tests, sort them in some logical way (by paper?)