liamoc/learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Agda

315

34 commits

updated Feb 13, 2018

learnyouanagda.liamoc.net

See the code

README

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.

Contributors

liamoc

33 commits

sordina

1 commits

Similar repos

anuyts/agda-sessions

Learn the Agda basics in three 2-hour sessions.

pigworker/MetaprogAgda

being the materials for Summer 2013's course

114

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

raoxiaoya/learn-python

learn-python

leanprover-community/tutorials

Some Lean tutorials

183

DamilolaAdegunwa/ai_course

Iannis863/AI-Academy

leanprover/functional_programming_in_lean

A book about functional programming in Lean

Languages

Agda

55.2%

CSS

23.5%

HTML

11.2%

Haskell

10.1%

liamoc/learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Agda

315

34 commits

updated Feb 13, 2018

learnyouanagda.liamoc.net

See the code

README

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.

Similar repos

anuyts/agda-sessions

Learn the Agda basics in three 2-hour sessions.

pigworker/MetaprogAgda

being the materials for Summer 2013's course

114

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

raoxiaoya/learn-python

learn-python

leanprover-community/tutorials

Some Lean tutorials

183

DamilolaAdegunwa/ai_course

Iannis863/AI-Academy

leanprover/functional_programming_in_lean

A book about functional programming in Lean

Contributors

liamoc

33 commits

sordina

1 commits

Languages

Agda

55.2%

CSS

23.5%

HTML

11.2%

Haskell

10.1%