VictorTaelin/Interaction-Calculus
@VictorTaelin최적의 람다 계산법(λ-calculus) 축소 알고리즘과 완벽하게 일치하는 프로그래밍 언어 및 연산 모델
스타
948
포크
70
언어
C
라이선스
—
마지막 푸시
10개월 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.