msp-strath/ask

being a particular fragment of Haskell, extended to a proof system

Haskell

165 commits

updated Sep 15, 2026

See the code

README

ask

being a particular fragment of Haskell, extended to a proof system

Contributors

pigworker

150 commits

fredrikNordvallForsberg

9 commits

gallais

3 commits

andrevidela

2 commits

Similar repos

sweirich/challenge

Strongly-typed System F in Haskell

122

HigherOrderCO/Kind

A modern proof language

3,762

nponeccop/haskell-exercises

effectfully/sketches

A Haskell blog

155

fpco/applied-haskell

haskell-lang/haskell-lang

haskell-lang.org website

146

liamoc/learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

315

matt-noonan/gdp

Ghosts of Departed Proofs

Languages

Haskell

96.8%

Emacs Lisp

2.4%

msp-strath/ask

being a particular fragment of Haskell, extended to a proof system

Haskell

165 commits

updated Sep 15, 2026

See the code

README

ask

being a particular fragment of Haskell, extended to a proof system

Similar repos

sweirich/challenge

Strongly-typed System F in Haskell

122

HigherOrderCO/Kind

A modern proof language

3,762

nponeccop/haskell-exercises

effectfully/sketches

A Haskell blog

155

fpco/applied-haskell

haskell-lang/haskell-lang

haskell-lang.org website

146

liamoc/learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

315

matt-noonan/gdp

Ghosts of Departed Proofs

Contributors

pigworker

150 commits

fredrikNordvallForsberg

9 commits

gallais

3 commits

andrevidela

2 commits

Languages

Haskell

96.8%

Emacs Lisp

2.4%