Home Sign Up Sign In
archyw
V2EX  ›  问与答

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

  •   
  •   archyw · Apr 30, 2020 · 2093 views
    This topic created in 2271 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   ·   5921 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 30576480 · 60ms · UTC 06:08 · PVG 14:08 · LAX 23:08 · JFK 02:08
    ♥ Do have faith in what you're doing.