Skip to main content
Sign in
Snippets Groups Projects
Select Git revision
  • new-parser
  • master default
  • opt/groupBy
  • otimizations
  • features/somefunctor-tagged
  • features/somefunctor-any
  • features/elim-functor-subterms
  • scratch/debug-ap-memusage
  • features/list-functors
  • scratch/subterm-elemination
  • features/true-monoids
  • features/double-max-monoid
  • features/valmari-dfa
  • restrictPartition
  • features/complex-numbers
  • fixes/monod-valued-de-GADT
  • eliminate-lists2
  • h1-initialize
  • eliminate-lists
  • bench-partition
  • megaparsec-7
21 results

ma.cabal

Blame
  • Forked from Informatik 8 / CoPaR
    Loading
    user avatar
    Hans-Peter Deifel authored
    eabb81be
    History
    ma.cabal 5.02 KiB