Skip to content
GitLab
Explore
Sign in
Linus Heckemann CS2014
ghotl
Repository
Branches
Overview
Active
Stale
All
Stale branches
dev-shell
6dad7dd8
·
Fix ghc-mod
·
Mar 28, 2018
master
default
protected
1ee62d20
·
Evaluate Church numerals lazily
·
Apr 03, 2018