Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
core_lint
f7b9be95
·
Fix lifting of Records
·
Jul 08, 2020
do_notation
58401d4a
·
expand type synonyms before removin Nondet in constraint solver
·
Jul 06, 2020
pattern_bindings
9dfa99c2
·
Use selector functions to translate pattern bindings
·
Jun 26, 2020
records
0c10e9fa
·
Support Record updates
·
Jun 17, 2020
newtype_rework
01b1e932
·
Fix case expressions over newtype constructors
·
Jun 10, 2020
deriving
0a7a9141
·
Use wired-in function to get deriving for datatypes
·
Jun 08, 2020
typeclasses
51288a4b
·
Add Nondeterministic version of Eq
·
Jun 05, 2020
imports
ac3a1a77
·
Fix overlapping names of type variables when deriving Normalform
·
May 24, 2020
polymorphism
d411f074
·
Use Shareable for each called functions
·
May 12, 2020
pattern-matching
87c4bca5
·
(Pattern-Matching) Prevent introduction of "stupid" cases
·
Apr 29, 2020