Chapter 8 of Type Driven Development with #Idris is really tough and fascinating.
=> More informations about this toot | View the thread | More toots from arialdo@mastodon.online
=> View idris tag This content has been proxied by September (3851b).Proxy Information
text/gemini