ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. PetitLambda

PetitLambda 0.1

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

ล่ามของแคลคูลัส lambda มันแสดงให้เห็นกระบวนการลดของคําศัพท์ lambda กลยุทธ์การประเมินผลหลายกลยุทธ์ได้รับการสนับสนุน สามารถเลือกรูปแบบผลลัพธ์จาก LaTex ข้อความธรรมดา

ประวัติรุ่น

  • เวอร์ชัน 0.1 โพสต์เมื่อ 2006-11-07
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 0.1 โพสต์เมื่อ 2006-11-07

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • UK Bank Holidays ทดลองใช้ฟรี

    ดูและเพิ่มวันหยุดธนาคารในสหราชอาณาจักรลงในปฏิทินของคุณด้วยการคลิกเพียงครั้งเดียวตั้งค่าการแจ้งเตือนและอื่น ๆ ! ไม่จําเป็นต้องเชื่อมต่อข้อมูล!แอพนี้แสดงวันที่และข้อมูลเกี่ยวกับวันหยุดธนาคารในสหราชอาณาจักร (อังกฤษสกอตแลนด์เ

  • YAams ฟรี

    YAams - อีกหนึ่งระบบผู้ผลิตขั้นสูง - YAams เป็นบรรณาธิการในการสร้างเกม 2D โดยปราศจากความรู้ด้านโปรแกรมใด ๆ ปัญญาของมันใน Java และปลั๊กอิน

  • Ant Quick Start Guide for DITA-OT ฟรี

    คู่มือรุ่น GA/RTM ได้รับการเผยแพร่อีกครั้งภายใต้ Apache 2.0 และใบอนุญาตสาธารณะทั่วไป 1.0 และบริจาคให้กับโครงการ DITA Open Toolkit เวอร์ชัน 1.5.2 ฉันยังคงรักษามันไว้ที่นั่นและสนับสนุนการยอมรับ DITA XML แต่ฉันสามารถทําได้

  • Tree Lock Screen ฟรี

    นี่คือแอพล็อคหน้าจอใหม่และพิเศษสําหรับหุ่นยนต์ ไม่มีการล็อคไม่มีรหัสผ่านและไม่มีการสแกนลายนิ้วมือในเครื่องมือปลดล็อคนี้ ต้นไม้กล่องเป็นประตูสู่โทรศัพท์ของคุณ คําถามที่พบบ่อย:1. จะปลดล็อคหน้าจอโทรศัพท์ได้อย่างไร? บนต้นไม้ไอคอ

  • C-pretter ฟรี

    โครงการของฉันและกลุ่มเพื่อนจะเรียกว่า & quot;C-pretter" มันจะเกี่ยวข้องกับการสร้างล่ามของ C ++ ในภาษาเดลฟี เวอร์ชันแรกของโครงการนี้จะเกี่ยวข้องกับองค์ประกอบของภาษา C++ เช่น : การดําเนินงานแปรผัน, l

  • wxWindows Project Manager for VC7 ฟรี

    ชุดเครื่องมือเพื่อลดความซับซ้อนของการใช้ wxWindows ด้วย Visual C++ 7

  • SPACS ฟรี

    SPACS เป็นส่วนขยายสําหรับ Macromedia / Adobe Flash ที่สร้างการกวดวิชาแฟลชโดยอัตโนมัติ การใช้แผง SPACS ผู้ใช้ส่งลําดับของภาพกําหนดฮอตสปอตที่ทริกเกอร์คําถาม / ชุดคําตอบและเอาต์พุตไฟล์แฟลช (http://tinyurl.com/af6og5

  • DistccTracker ฟรี

    ตัวติดตามเซิร์ฟเวอร์ Distcc ที่ใช้ Java อนุญาตให้ลูกค้าอัปเดตไฟล์โฮสต์ได้อย่างง่ายดายและไม่เจ็บปวดเพื่อสะท้อนถึงเซิร์ฟเวอร์ Distcc ที่มีอยู่ในฟาร์ม

  • ARS Object History ฟรี

    แก้ไขประวัติข้อกําหนดของเวิร์กโฟลว์ของวัตถุเวิร์กโฟลว์ ARSystem ที่มีการเปลี่ยนแปลงผ่านการดําเนินการที่เกี่ยวข้องกับผู้ดูแลระบบ รักษาประวัติการเรียกใช้ของคํานิยามออบเจ็กต์ทั้งหมดในแบบฟอร์มการแก้ไข

  • Brick Remote ฟรี

    Brick Remote เป็นแอปพลิเคชั่น Gnome เพื่อควบคุมอิฐ LEGO RCX ใช้ LNP เพื่อสื่อสารกับ RCX ช่วยให้สามารถควบคุมเอาต์พุตมอเตอร์สามตัวและตรวจสอบอินพุตเซ็นเซอร์สามตัว มันต้องใช้ brickOS บน RCX และมาพร้อมกับขนาดเล็ก