Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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/{예제} # 특정 예제 실행
```