Log in Sign up
1 Matching Annotations
  1. Dec 2022
  2. www.zhihu.com www.zhihu.com
    如何用七条公理构造call/cc? - 知乎
    1
    1. caocao485 13 Dec 2022
      in Public
      如何用七条公理构造call/cc?
      call/cc lisp 函数式语言 公理
    Visit annotations in context

    Tags

    • lisp
    • 公理
    • call/cc
    • 函数式语言

    Annotators

    • caocao485

    URL

    zhihu.com/question/21533372
Share:
Group. Only group members will be able to view this annotation.
Only me. No one else will be able to view this annotation.
Hypothes.is
  • About
  • Blog
  • Bioscience
  • Education
  • Jobs
  • Help
  • Contact
  • Terms of Service
  • Privacy Policy