https://github.com/scarf005/namuwiki-examples-idris2

Snippets for programming languages examples section in namuwiki
https://github.com/scarf005/namuwiki-examples-idris2

Last synced: 25 days 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/{예제} # 특정 예제 실행

```