GDTL-artifact

(★ 14)

A Gradual Dependently-typed Language

Owner Repos

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

File Explorer

ZIP Download
  • examples.rkt
  • examples_inductive.rkt
  • lang_simple.ott
  • 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

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

git clone

View Details ▼

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