Mastodon Feed: Post

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

i thought it took a while to get good at idris, but learning to implement type theories is a whole other ball game.