Krasimir Angelov a912da9b13 fix bracketed linearization for metavariables

2023-01-23 21:37:06 +01:00

..

compiler

fix after the introduction of name patterns

2022-12-10 20:17:10 +01:00

runtime

fix bracketed linearization for metavariables

2023-01-23 21:37:06 +01:00

server

added version constraints

2022-11-10 15:44:34 +01:00

tools

First attempt at fixing incompabilities with newer cabal

2020-08-05 18:48:24 +02:00