mikeizbicki subhask issues

mikeizbicki / subhask

Type safe interface for working in subcategories of Hask

BSD 3-Clause "New" or "Revised" License

418 stars 43 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Ghc 8.6 / lts-13.15

#67 o1lo01ol1o closed 5 years ago
1
Update to ghc 8

#66 xldenis closed 6 years ago
0
stack ghci and the ghc-8.0 branch

#65 paulhilbert opened 7 years ago
5
Build Failure "You are using a new version of LLVM that hasn't been tested yet!"

#64 madjestic opened 7 years ago
2
Uniform Numerical Hierarchy

#63 SamuelSchlesinger closed 7 years ago
1
Should (-) be moved out of Cancellative?

#62 endgame opened 7 years ago
0
Update to lts-7.0

#61 alexanderkjeldaas opened 7 years ago
0
Revert "distanceUB still follows the rules but returns other uppers. Uses sqrt only if needed"

#60 mikeizbicki closed 7 years ago
0
distanceUB still follows the rules but returns other uppers. Uses sqrt only if needed

#59 Drezil closed 7 years ago
1
Ghc 8.0 faster ub

#58 Drezil closed 7 years ago
0
added (!~) and (%~); fusion for UVector

#57 Drezil closed 7 years ago
2
LLVM installation on Ubuntu

#56 madsbuch opened 7 years ago
0
Indexed update

#55 Drezil opened 7 years ago
8
Ghc 8.0 accelerate rewrite

#54 o1lo01ol1o opened 8 years ago
8
SubType [FIXME @ 45]

#53 SamuelSchlesinger closed 7 years ago
0
updated macOS instructions

#52 hdmetor closed 7 years ago
1
Subhask vector type variadic function

#51 bmabsout opened 8 years ago
5
BLAS / LAPACK on Mac

#50 hdmetor closed 7 years ago
4
Collaborating on the project

#49 hdmetor opened 8 years ago
3
getting to -Wall

#48 tonyday567 closed 8 years ago
1
Revert "refactor of cabal file, adding flags"

#47 mikeizbicki closed 8 years ago
0
refactor of cabal file, adding flags

#46 tonyday567 closed 8 years ago
4
Commented code removal

#45 tonyday567 closed 8 years ago
0
Various readme edits

#44 tonyday567 closed 8 years ago
1
Travis refactor (llvm off)

#43 tonyday567 closed 8 years ago
3
OSX hmatrix linking

#42 tonyday567 closed 8 years ago
2
Add axioms of intuitionistic logic to Heyting algebras

#41 sacsar opened 8 years ago
6
ghc 8 roadmap and cleanup

#40 tonyday567 opened 8 years ago
13
Initial implementations of Accelerate backends for Vector and Matrix

#39 o1lo01ol1o closed 8 years ago
9
TravisCI broken

#38 mikeizbicki closed 8 years ago
0
Clean up SubHask's dependencies

#37 mikeizbicki opened 8 years ago
6
Re-evaluate "limitations" now that GHC 8 is out

#36 rpglover64 opened 8 years ago
3
Remove question about whether Heyting algebras are cancellative semigroups.

#35 sacsar closed 8 years ago
1
Is every Heyting algebra a cancellative Abelian semigroup?

#34 sacsar closed 8 years ago
1
GPUVector from Accelerate Backend

#33 o1lo01ol1o opened 8 years ago
3
Algebra.Matrix

#32 tonyday567 closed 8 years ago
8
LLVM Install Instructions Fix

#31 SamuelSchlesinger closed 8 years ago
1
[WIP] Removed library constraints, and hmatrix fixes

#30 tonyday567 closed 8 years ago
1
Minor typos and formatting mistakes in the docstrings

#29 sindikat closed 8 years ago
1
What to do about linear algebra

#28 tonyday567 closed 8 years ago
4
Upgrade stackage resolver to 5.1

#27 alexanderkjeldaas closed 8 years ago
4
[WIP] UVector algebra instances

#26 tonyday567 closed 8 years ago
2
fix +> Category instance

#25 crclark closed 8 years ago
2
Minor example updates

#24 stites closed 8 years ago
4
Use Ƨ⃒ for vector application on the left

#23 cbarrett opened 8 years ago
2
Build on Windows error -> `can't load .so/.DLL for: libopenblas.dll`

#22 freeman42x opened 8 years ago
17
Add a FIXME about the Banach laws.

#21 cdepillabout closed 8 years ago
2
Add some missing laws/theorems/definitions to the test suite.

#20 cdepillabout closed 8 years ago
1
there are some law_*, defn_*, and theorem_* that are not being tested by the test suite

#19 cdepillabout opened 8 years ago
6
Remove dependency from outside C libraries

#18 varosi closed 8 years ago
2