notaeのアンテナ RSS OPML

すべて | グループ指定なし | Haskell

おとなりアンテナ | おすすめページ

  1. 2022/08/13 05:56:05 Awesome Haskell含むアンテナおとなりページ

    Clean code begins in your IDE with SonarLint
    sponsored www.sonarlint.org
    Last 30 Days
    Scout APM SonarLint SaaSHub · Advertise

  2. 2022/08/12 10:34:38 Haskell Weekly含むアンテナおとなりページ

    Issue 328 of the newsletter was published on 2022-08-11. Browse the archives for older issues.
    The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The

  3. 2022/08/09 10:43:17 Intel® 64 and IA-32 Architectures Software Developer Manuals含むアンテナおとなりページ

    wa_created_date: "1633489843198",

  4. 2022/08/04 21:26:49 Daniel Gratzer含むアンテナおとなりページ

    Formal Structures for Computation and Deduction, 2022
    (PDF, Slides)
    Logic in Computer Science, 2022
    (PDF, Short abstract, Long article, Arxiv, Slides)

  5. 2022/07/28 21:50:53 天泣記含むアンテナおとなりページ

    2022-07-28 (Thu)
    #1 Coq の Template polymorphism (2)
    さらに manual を読み直した
    そーか、具体的に与えた ql から Pl' が決まり、Ci : sqi を成立できるように si が選ばれる、
    そこで ΓP' は、partial application で ql が与えられなかった部分はそのまま残るから別にいいのか

  6. 2022/06/28 05:02:23 Haskell for all含むアンテナおとなりページ

    Sunday, June 26, 2022
    defaultable-map: An Applicative wrapper for Maps
    I’m announcing a small utility Haskell package I created that can wrap arbitrary Map-like types to provide Applicative and Altern

  7. 2022/06/25 15:50:00 John A De Goes含むアンテナおとなりページ

    ZIO 2.0 Released
    After almost 2 years in development, ZIO 2 is ready to change the world of functional programming
    © 2022 John A De Goes. Powered by Jekyll, derived from the Minimal Mistakes theme.

  8. 2022/06/10 19:46:31 C&C - Home含むアンテナおとなりページ

    Run automatic security scans with out-of-the-box integration with Snyk, or connect to other providers. Simply open an existing repository or create a new one and navigate to the Security tab to instal

  9. 2022/04/27 20:42:27 Lambda the Ultimate | Programming Languages Weblog含むアンテナおとなりページ

    Lambda the Ultimate
    Getting Started
    Site operation discussions
    Recent Posts
    (new topic)
    Research Papers
    Design Docs
    Genealogical Diagrams

  10. 2022/04/05 18:57:25 The H2 Wiki含むアンテナおとなりページ


  11. 2020/12/23 02:32:10 Roman Cheplyaka含むアンテナおとなりページ

    I write articles, produce podcasts (The bioinformatics chat and Compositional), and occasionally maintain open source packages on GitHub.

  12. 2019/06/01 15:14:07 C&C - Home含むアンテナおとなりページ

    Code & Co.
    About Contact Blog RSS Feed
    This website is out of date, please refer to the site on github.
    Welcome to my outdated blog.
    This was a personal blog. I leave these posts around to preser