-
유니코드 입력하기 위한 세팅 _ 그냥 emacs쓰는게 낫겠다.코딩Coding/Silq양자_프로그래밍_언어 2022. 10. 17. 23:58728x90
https://github.com/banacorn/agda-mode-vscode
GitHub - banacorn/agda-mode-vscode: agda-mode on VS Code
agda-mode on VS Code. Contribute to banacorn/agda-mode-vscode development by creating an account on GitHub.
github.com
반응형'코딩Coding > Silq양자_프로그래밍_언어' 카테고리의 다른 글
Visualizing quaternions (4d numbers) with stereographic projection (0) 2022.10.19 Introduction to Probability Theory for Quantum Mechanics [ Intro to QM #2 ] (0) 2022.10.18 양자 게이트 : X, 아다마르, CNOT / 중첩, 측정, 얽힘, 큐비트 / 양자 알고리즘, 도이치, 도이치-조사 (2) 2022.10.18 양자 코딩을 이해하기 위한 기초 수학Basic (0) 2022.10.18 빛과 썬글라스로 양자역학 이해하기_실제test하면서ㅎㅎ❤️Bell's Theorem: The Quantum Venn Diagram Paradox (0) 2022.10.17 Quantum_logic_gate기초❤️무조건 다 암기해야함 (0) 2022.10.17 한글양자코딩slq001_양자코딩_윈도우에서 리눅스 가상환경 설치 후 양자코딩준비하기 (0) 2022.10.17 양자컴퓨팅❤️Quantum Computers, Explained With Quantum Physics (0) 2022.10.08