Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

https://news.ycombinator.com/rss Hits: 17
Summary

%PDF-1.5 %���� 118 0 obj << /Length 4774 /Filter /FlateDecode >> stream xڭ;ْ�6����~SuDE���em�=��q�NH~hw�Y$��+��x�����xT�{W���H��;~��ͻC�΋��W�݇�;������u�(��>w�����粯�?� z�;�w� ����bG���Aғ.����Bw�ߕ����R�����]V6\2O��/����P]��>qw�VK/X��{��骒a:s겺.�Ӽ6�I�$ŵ� �R'I^����/��Ҹ���7q�( x[��F n�p�5� w�c'���pY����e�9�.��!��҉� >,0���v*Z��?{��d�3~�ڍ a;i4r�4��ߛ�t<���w]i'�ڋ����K�Q��Kk�W�s��x��.gkW�rW߃������o��'6v�Œ�z�Ę��އᮇ���n �a���>gRm�����sØr���f�8�\V����M��`d�3�.)��)^��� ,��ZeE0c����Q=�g�Kkc{i�?f}�K%p�JH���mg�U��*+#���_q۰�d�1m��Vw�������lЌd� ���/�.2���M�i�2�1$��b�~�v��pFț�����AT�]�{�}hIX�7t%p��q���M�E�F��ۙF��x*�m�n(��� r8wf<��0��s�1Y�V��U�������Iz� �@�h��|ȚM8����FA*`��ly, q~yme�ͰՆh`;8�-����ij�o{S�V�rv�dH�Oӑ\AȌ�ma"�(t�T1Dr���Bs��s���u&S|{*� ����AU!I��x���np��/�Q�s��4�ڞL����krSèu��AM�#!�#(�)�lZY�ޗ�`G�i] (Ӑ� �m��%��Z@h?���ŧ��q(.�m��U�p�p�|�x��d��u�2�8GA��v)�0V��<#C���~�>�"_t��EP������|�|p � @v�6���S��Ѡv@���� b�ZܞNq�Q�7a���X�;��0Ԇɂ)�G����y��H�M12�^6`1w%M"�D2#�$m9AK{̺��?�]f�O��C $kt� <�ke/p��,�ŖN�݃`g���XY����̕��({`}�g���!��?x��+��'x�Ç7��x0�{��%��(�ΏS'H���~����P+q|pP��e )x:����7�\�8.����׆p�xg<�w��. �����b��{V�/� ~G��&r�|pX'�]nw㡧n�g�e9D�D*���x��x 8���~����ʕ�8I�U�U�Q����iIs�N������,�a$0�_���;���Q�0�+���elP��v��|�:���R\��>~��~��ˉ�!6����3��`��CX� �\�N7lb_���μA�/[���!��j�z N���+��3O_�[��̖�_~l��>X?�$�(�W3�3_�ϝ{��_��5�'����{<{� ����ɗ�Ύ��4��S�^��^��K�%:�?&'|p֐�sb*����0��x�J��nj�Z�nl�����eRS���&���Ӣ9P)@.�������q�s�0h#+v�~�,x% 8�s��~uU�ሆ�/ڄO��#~��.�ˌ�My�0p|_���)�8a �ȇ�C�鍍%#����Z�pd@����HJ�`3�

First seen: 2025-04-07 18:20

Last seen: 2025-04-08 10:24