Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/scarf005/namuwiki-examples-idris2
Snippets for programming languages examples section in namuwiki
https://github.com/scarf005/namuwiki-examples-idris2
Last synced: 2 months ago
JSON representation
Snippets for programming languages examples section in namuwiki
- Host: GitHub
- URL: https://github.com/scarf005/namuwiki-examples-idris2
- Owner: scarf005
- License: agpl-3.0
- Created: 2023-07-26T13:25:53.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-07-27T01:00:29.000Z (over 1 year ago)
- Last Synced: 2023-07-27T02:37:50.830Z (over 1 year ago)
- Language: Idris
- Size: 13.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.ko.md
- License: LICENSE
Awesome Lists containing this project
README
# 프로그래밍 언어/예제@Idris2
[![en][icon-en]][en] [![ko][icon-ko]][ko]
[en]: ./README.md
[icon-en]: https://img.shields.io/badge/lang-en-red?style=flat-square
[ko]: ./README.ko.md
[icon-ko]: https://img.shields.io/badge/lang-ko-orange?style=flat-square[나무위키 프로그래밍 언어/예제][namu]에 적으려고 쓴 예제들
1. [Hello, world!](./Hello.idr)
2. [구구단](./Times.idr)
3. [삼각형 그리기](./Triangle.idr)
4. [99병의 맥주](./Beer.idr)
5. [1부터 N까지 출력](./N.idr)[namu]: https://namu.wiki/w/프로그래밍%20언어/예제
## 실행 방법
```sh
make run # 모든 예제 실행
make run/{예제} # 특정 예제 실행
```