Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
features/somefunctor-any
18903017
·
Add comment about Any usage to SomeFunctor
·
Nov 02, 2018
features/elim-functor-subterms
b860c591
·
main: Improve some help messages
·
Nov 02, 2018
!6
scratch/debug-ap-memusage
f0a46785
·
Add another TODO comment
·
Nov 01, 2018
features/list-functors
f32aa3b8
·
main: Rename 'list_functors' to 'list-functors'
·
Oct 31, 2018
scratch/subterm-elemination
c27b98c8
·
Current state of the work
·
Oct 26, 2018
features/true-monoids
55274a40
·
Add example for maxDouble
·
Oct 25, 2018
!5
features/double-max-monoid
9c7f1d17
·
Remove some commented out code
·
Oct 25, 2018
features/valmari-dfa
786abddc
·
random-dfa: Allow to output a single DFA in multiple formats
·
Oct 24, 2018
restrictPartition
e4674557
·
Fix whitespace
·
Oct 24, 2018
features/complex-numbers
83deb7b6
·
Clean up code in MonoidValuedSpec
·
Oct 20, 2018
eliminate-lists2
9de49155
·
Explain amortized cost for Stack.push in documentation
·
Oct 17, 2018
h1-initialize
814f7644
·
Speed up MorphismEncoding creation from parser state
·
Oct 08, 2018
eliminate-lists
6454e6a3
·
Convert pred array to new Stack data structure
·
Oct 08, 2018
bench-partition
4068d42c
·
Don't needlessly update blocks with one state
·
Oct 04, 2018
megaparsec-7
153d504f
·
Remove unnecessary imports
·
Oct 03, 2018
poly-speedup
8a0a8b38
·
tests: Fix tests for Polynomial functor
·
Sep 26, 2018
bench-split
6261d8d8
·
Fix whitespace
·
Sep 25, 2018
random-dfa
d3ac9436
·
random-dfa: Optionally output to file instead of stdout
·
Sep 25, 2018
ghc-8.4
b41b2f9e
·
ci: Use GHC 8.4 image
·
Sep 14, 2018
test-split
145dda57
·
Add FIXME
·
Sep 10, 2018
Prev
1
2
3
4
5
6
Next