aoc-2020-idris

(★ 17)

My Idris2 solutions/attempts for Advent of Code 2020

Owner Repos

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

File Explorer

ZIP Download
  • .gitignore
  • Day1a.idr
  • Day1b.idr
  • Day2a.org
  • Day3a.idr
  • Day4a.org
  • LICENSE
  • README.md

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example
// repository documentation