On my most recent twitch stream, we built a little library for authenticated computations in Haskell working out several approaches to the problem: backpack, fundeps, type/data families, quantified constraints... Recording: https://www.twitch.tv/videos/279832717 … Code:http://github.com/ekmett/auth
০ reply
১৮ টি পুনঃটুইট
১২৪টি পছন্দ
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।