GDTL-artifact

(★ 14)

A Gradual Dependently-typed Language

오너의 다른 레포

haskelm ★ 49

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

Haskell
aoc-2020-idris ★ 17

My Idris2 solutions/attempts for Advent of Code 2020

Idris
haskelm-old ★ 17

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

Haskell
UBC-Metropolis-Beamer ★ 12

Metropolis Beamer theme with UBC Colors and Logo

TeX
elm-build-lib ★ 8

A library for compiling Elm to JavaScript from within Haskell

Haskell

파일 탐색기

ZIP 다운로드
  • examples.rkt
  • examples_inductive.rkt
  • lang_simple.ott
  • README.md

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

링크
예시

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

git clone

설명 보기 ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

// repository documentation