8000 GitHub - Foritus/learn-you-an-agda: Learn you an Agda (and achieve enlightenment) · GitHub

Repository navigation

learn-you-an-agda

Public

forked from liamoc/learn-you-an-agda

About

Learn you an Agda (and achieve enlightenment)

learnyouanagda.com

BSD-3-Clause license

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
css		css
illustrations/raw		illustrations/raw
pages		pages
static		static
templates		templates
.gitignore		.gitignore
LICENSE		LICENSE
Printf.agda		Printf.agda
README.md		README.md
Setup.hs		Setup.hs
index.md		index.md
learn-you-an-agda.cabal		learn-you-an-agda.cabal
main.hs		main.hs
stack.yaml		stack.yaml
toc.md		toc.md

Repository files navigation

Learn You An Agda (and achieve enlightenment)

This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.

About

Learn you an Agda (and achieve enlightenment)

learnyouanagda.com

BSD-3-Clause license

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages

0