mietek/epigram2

Mirror of Epigram 2, by Conor McBride, et al.

Haskell

59

1,018 commits

updated Jun 10, 2020

code.google.com/p/epigram

Contributors

819 commits

100 commits

63 commits

21 commits

Similar repos

abdallah197/gpt-2

0

jonsterling/ocaml-forester

Mirror of ocaml-forester

52

lotem/librime-octagram

RIME〖八股文〗語法插件

50

Diogenes67/jacobian-hourglass

jacobian-hourglass

0

lpw25/girards-paradox

A "implementation" of Girard's paradox in OCaml

113

jdb19937/corpus

corpus — collectio exemplorum

0

zhengs81/opsgpt-prompt2

0

Alex-stack-hub/myres

myres

0

Languages

Haskell

49.2%

TeX

36.7%

Agda

8.0%

PigLatin

4.2%

mietek/epigram2

Mirror of Epigram 2, by Conor McBride, et al.

Haskell

59

1,018 commits

updated Jun 10, 2020

code.google.com/p/epigram

Similar repos

abdallah197/gpt-2

0

jonsterling/ocaml-forester

Mirror of ocaml-forester

52

lotem/librime-octagram

RIME〖八股文〗語法插件

50

Diogenes67/jacobian-hourglass

jacobian-hourglass

0

lpw25/girards-paradox

A "implementation" of Girard's paradox in OCaml

113

jdb19937/corpus

corpus — collectio exemplorum

0

zhengs81/opsgpt-prompt2

0

Alex-stack-hub/myres

myres

0

Contributors

819 commits

100 commits

63 commits

21 commits

Languages

Haskell

49.2%

TeX

36.7%

Agda

8.0%

PigLatin

4.2%