Home Sign Up Sign In
archyw
V2EX  ›  问与答

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

  •   
  •   archyw · Apr 30, 2020 · 2352 views
    This topic created in 2389 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
    m0cha
    May 1, 2020 via iPhone
    1
    同问，haskell 初学者
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   1775 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 255ms · UTC 04:57 · PVG 12:57 · LAX 20:57 · JFK 23:57
    ♥ Do have faith in what you're doing.