In this repo you can find implementations of lists-that-track-their-length using GADTs and LiquidHaskell. In both cases, they need GHC plug-ins to be enabled for the code to compile: ...
Unele rezultate au fost ascunse, deoarece pot fi inaccesibile pentru dvs.
Afișați rezultatele inaccesibile