Home Sign Up Sign In
archyw
V2EX  ›  问与答

2020 年国内的 Haskell/scheme/coq 工作机会怎么样？

  •   
  •   archyw · Apr 30, 2020 · 2004 views
    This topic created in 2233 days ago, the information mentioned may be changed or developed.
    fp 与形式验证进度咋滴，去哪里找工作鸭 ？ 🦆
  • coq
  • formal
  • Haskell
  • 进度
    1 replies  •  2020-05-01 02:10:25 +08:00
    m0cha
        1
    m0cha  
       May 1, 2020 via iPhone
    同问，haskell 初学者
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   1092 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 30ms · UTC 18:36 · PVG 02:36 · LAX 11:36 · JFK 14:36
    ♥ Do have faith in what you're doing.