Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
since i just patched an idris postgres library, what else would i actually need to make idris usable for postgres-backed web applications.
i think honestly just a webserver would do for most apps. maybe with a redis client and an http client? fortunately, totally independent things.