aoc-2020-idris

(★ 17)

My Idris2 solutions/attempts for Advent of Code 2020

오너의 다른 레포

haskelm ★ 49

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

Haskell
haskelm-old ★ 17

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

Haskell
GDTL-artifact ★ 14

A Gradual Dependently-typed Language

Racket
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 다운로드
  • .gitignore
  • Day1a.idr
  • Day1b.idr
  • Day2a.org
  • Day3a.idr
  • Day4a.org
  • LICENSE
  • README.md

# CDN으로 사용하기

jsDelivr

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

링크
예시
// repository documentation