[%] Idris 이거다

[기괴공학도(mecheng98)]

내가 찾던 거다

내가 찾던 거라고

Idris 구현 논문 다운 받는 중

- dc official App

[다믜(damhiya)]

엌ㅋㅋㅋㅋㅋ

[다믜(damhiya)]

[기괴공학도(mecheng98)]

증명도 되고 프로그래밍도 되며 C로 컴파일되는 언어 - dc App

[다믜(damhiya)]

그거 되는 언어가 idris랑 agda정도 뿐인듯. 근데 agda가 약간 더 이상적이고 idris는 실용주의적인 느낌

[다믜(damhiya)]

심지어 거의 동시에 나옴

[기괴공학도(mecheng98)]

ㄷㄷ - dc App

[다믜(damhiya)]

idris 만든 사람이 쓴 책 있다던데 그것도 한번 봐보셈

[기괴공학도(mecheng98)]

ㄱㅅㄱㅅ - dc App