search
LoginSignup
search
  1. Trend
  2. Question
  3. Official Event
  4. Official Columnopen_in_new
  5. Organization
Idris で理解するカリー・ハワード対応likers
  • @tochu-cha

    EmacsでGaucheを勉強中。

  • @BOBO

  • あいや@aiya000

    Moggiと"love"で接近中! 🤟🙄🤟

  • @rikitoro@github

  • @AKKYM

    QiitaはTwitter

  • uint256_t @uint256_t

    Graduate student

  • 小柳 圭輔@koyakeiaaaaa

  • @Heavyjoker

  • @unordered_map

    <TODO: Fillin' those blanks>

  • @zer0-star

  • FalVy@yutapypy0930

    Rustが好き

  • @ufoo68

    滋賀県でリモートワークしながらNode.jsでご飯を食べているサラリーマンです。出身はロボット工学科だったのでソフト以外にもたまにハードウェアでも遊んだりしています。

  • @0yoyoyo

    Rustでコンパイラを書いてみたいと思ってるマン。

  • kenta hasegawa@aKentaHasegawa

  • 内藤 謙一@KNaito

    I love JavaScript, Html, PHP, Python, Java, Ruby, Perl, C, C++, Objective-C and Haskell. My stack overflow address is http://stackoverflow.com/users/3535002/knaito

  • @neutron63zf

  • Yu Matsuzawa@ymtszw

    Elixirいいよ。あとElmもいい。 GitHub: @ymtszw Twitter: @gada_twt

  • @blackenedgold

1 / 1Page 1 of 1

How developers code is here.

© 2011-2025Qiita Inc.

Guide & Help

  • About
  • Terms
  • Privacy
  • Guideline
  • Media Kit
  • Feedback/Requests
  • Help
  • Advertisement

Contents

  • Release Note
  • Official Event
  • Official Column
  • Advent Calendar
  • Qiita Award
  • Engineer White Paper
  • API

Official Accounts

  • @Qiita
  • @qiita_milestone
  • @qiitapoi
  • Facebook
  • YouTube
  • Podcast

Our service

  • Qiita Team
  • Qiita Zine
  • Official Shop

Company

  • About Us
  • Careers
  • Qiita Blog
  • News Release