edit-time-tactics

(★ 9)

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

edit-time-tactics 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

agent-skills ★ 88,905

AI 코딩 에이전트를 위한 프로덕션 등급의 엔지니어링 기술.

JavaScript
ai-agents-for-beginners ★ 72,946

AI Agents 빌딩을 시작하기 위한 18가지 레슨

Jupyter Notebook
computer-science ★ 208,280

🎓 컴퓨터 과학(Computer Science)을 무료로 혼자 공부할 수 있는 로드맵!

HTML
papers-we-love ★ 108,897

컴퓨터 과학 분야의 읽고 토론할 만한 논문 모음입니다.

Shell
uptime-kuma ★ 90,435

자신의 서버에서 호스팅하는 감시 도구

JavaScript
tauri ★ 110,428

웹 프론트엔드를 사용하여 더 작고, 빠르며, 보안성이 뛰어난 데스크톱 및 모바일 애플리케이션을 구축하세요.

Rust
// repository documentation