펫티 람다 PETITLAMBDA - LAMBDA 미적분의 무료 인터프리터
지금 다운로드

펫티 람다 순위 및 요약

펫티 람다 태그

통역사 람다 미적분 해석자 람다 미적분학 해석 람다 용어 감소 람다 미적분 절감

펫티 람다 설명

Petitlambda - Lambda Calculus의 무료 인터프리터 Petitlambda는 람다 미적분의 자유로운 통역입니다. 그것은 람다 조건의 감소 과정을 보여줍니다. 몇 가지 평가 전략이 지원됩니다. 출력 형식은 일반 텍스트 또는 Latex.Note에서 선택할 수 있습니다. PetitLambda는 BSD 라이센스로 해제됩니다.

펫티 람다 관련 소프트웨어