search

sweirich / replib

Replib: generic programming & Unbound: generic treatment of binders
MIT License
44 stars 12 forks source link

Use correct case for Examples directory #50

Closed phadej closed 3 years ago

phadej commented 3 years ago

cabal is picky on Linux