Could we embed the data files into the executables using file-embed?
The main reason is that it's difficult to correctly distribute the data files with Agda, due to the odd dependence on the Cabal variable Agdadata_dir and various other packaging woes.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4