Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

this afternoon i have been messing about with the dreaded 'orm-like thing' problem. i figured with dependent types, we shouldn't have such a problem.

of course they bring other problems