Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
v2.2.0
4984adaa
·
Fix bug
·
Dec 08, 2019
v2.2.0
v2.1.0
7a48e3f3
·
Remove quantified type variables and context from constructor
·
Nov 01, 2019
v2.1.0
v3.0.0
de1437b5
·
Fix version number
·
Oct 01, 2019
v2.0.0
446cda0e
·
Faster reading of AST files with ReadShowTerm instead of Read instances
·
Jan 25, 2019
v2.0.0
v1.0.0
a3cf6de5
·
Edit gitignore
·
Oct 24, 2018