I'm mostly interested in FP & proof language
- Haskell
- Agda
- Coq
- Nix
νλ‘κ·Έλλ° μΈμ΄ νμ€μΌμ μ£Όμ λ‘ νλ νκ΅μ΄ λμ€μ½λ μ±ν λ°©μ λλ€. λ€λ₯Έ νλ‘κ·Έλλ° μΈμ΄λ PLT, μ¦λͺ μΈμ΄ κ΄λ ¨ μ΄μΌκΈ°λ μμ£Ό ν©λλ€.