Home Sign Up Sign In
archyw
V2EX  ›  问与答

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

  •   
  •   archyw · Apr 30, 2020 · 1957 views
    This topic created in 2203 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   ·   4283 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 50ms · UTC 00:07 · PVG 08:07 · LAX 17:07 · JFK 20:07
    ♥ Do have faith in what you're doing.