Skip to main content
Explore
Sign in
Explore
Snippets Groups Projects

Commits · master

Select Git revision
  • 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
20 results
Search by author
  • Any Author
  • Hans-Peter Deifel Hans-Peter Deifel hpd
  • Thorsten Wißmann Thorsten Wißmann thorsten
2 authors
Browse files
  1. Nov 09, 2018