idris-tutorial

(★ 97)

A tutorial to the Idris Programming Language.

파일 탐색기

최종 버전 다운로드 (.zip)
  • .gitignore
  • body.tex
  • conf.ltx
  • CONTRIBUTING.md
  • fpmacros.sty
  • idris-tutorial.print.tex
  • idris-tutorial.screen.tex
  • idrislang.sty
  • imports.sty
  • library.ltx
  • literature.bib
  • Makefile
  • README.md

# 설치 가이드

1. 코드 내려받기
git clone https://github.com/idris-lang/idris-tutorial

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd idris-tutorial

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. Make

보통 추천
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
make

생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.

✅ 에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.

오늘의 추천 프로젝트

Agent-Reach ★ 72,282

AI 에이전트에게 전체 인터넷을 볼 수 있는 눈을 부여하세요. Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu

Python
javascript ★ 148,124

Airbnb의 JavaScript 스타일 가이드입니다. JavaScript 작성 시 가독성을 높이고 유지보수를 용이하게 하기 위한 포괄적인 규칙과 모범 사례를 담

JavaScript
TypeScript ★ 110,354

TypeScript는 깔끔한 JavaScript 출력 코드로 컴파일되는 JavaScript의 상위 집합입니다.

Go
bitcoin ★ 89,961

Bitcoin Core 통합/스테이징 트리

C++
deepseek-harness ★ 179,877

DeepSeek Harness: Everything is a Plugin.

TypeScript
crawl4ai ★ 78,856

🚀🤖 Crawl4AI: 오픈소스 LLM 친화적 웹 크롤러 & 스크레이퍼. 망설이지 말고 참여하세요: https://discord.gg/jP8KfhDhyN

Python
// repository documentation