@arialdo @edwinb I actually have experience with Idris too, so I'm pretty sure I'll understand everything and enjoy the read! It's rare I'm so excited about reading a book.
=> More informations about this toot | View the thread | More toots from chshersh@functional.cafe
=> View arialdo@mastodon.online profile | View edwinb@types.pl profile
text/geminiThis content has been proxied by September (3851b).