首页 注册 登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
广告
archyw
V2EX  ›  问与答

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

  •   
  •   archyw · 2020-04-30 21:52:14 +08:00 · 1172 次点击
    这是一个创建于 1474 天前的主题，其中的信息可能已经有所发展或是发生改变。
    fp 与形式验证进度咋滴，去哪里找工作鸭 ？ 🦆
  • coq
  • formal
  • Haskell
  • 进度
    1 条回复  •  2020-05-01 02:10:25 +08:00
    m0cha
        1
    m0cha  
       2020-05-01 02:10:25 +08:00 via iPhone
    同问，haskell 初学者
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1352 人在线   最高记录 6547   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 17:40 · PVG 01:40 · LAX 10:40 · JFK 13:40
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.