Issues
- 0
Add Profunctor
#172 opened by MarisaKirisame - 0
Automatically apply app?
#173 opened by MarisaKirisame - 1
- 0
use ST
#219 opened by MarisaKirisame - 0
refactor PE
#211 opened by MarisaKirisame - 0
compile to ghc
#212 opened by MarisaKirisame - 1
use typeclass to help declare interface
#214 opened by MarisaKirisame - 1
- 0
Do Map PE
#217 opened by MarisaKirisame - 0
backprop as functor
#218 opened by MarisaKirisame - 0
add checkpoint
#199 opened by MarisaKirisame - 0
Finish PE
#205 opened by MarisaKirisame - 0
Add Sam.PE
#206 opened by MarisaKirisame - 0
PE eat bottom.
#207 opened by MarisaKirisame - 0
Use travis to detect dead link in readme
#202 opened by MarisaKirisame - 0
Fix putStrLn
#210 opened by MarisaKirisame - 0
Do list fusion?
#208 opened by MarisaKirisame - 0
Use TH to remove listAppend2 = app2 listAppend
#209 opened by MarisaKirisame - 0
Write example for new feature
#189 opened by MarisaKirisame - 0
- 0
Fix Xor
#195 opened by MarisaKirisame - 1
NN examples
#196 opened by rainoftime - 0
NN Verification
#197 opened by rainoftime - 0
- 1
Embedding F
#181 opened by MarisaKirisame - 0
IncoherentInstances is used
#185 opened by MarisaKirisame - 0
- 4
Meta issue
#188 opened by izgzhen - 5
- 0
fix build
#215 opened by MarisaKirisame - 0
Do hpc
#213 opened by MarisaKirisame - 0
Extensible PE
#204 opened by MarisaKirisame - 1
Formally Verify LR
#187 opened by MarisaKirisame - 2
Add roadmap
#191 opened by MarisaKirisame - 0
Add suport for 8.2
#201 opened by MarisaKirisame - 0
add infix operator for Show
#203 opened by MarisaKirisame - 1
Term seems to be necessary afterall
#193 opened by MarisaKirisame - 4
Do subtyping.
#165 opened by MarisaKirisame - 0
Add reflection
#192 opened by MarisaKirisame - 1
Scrap the typeclass boilerplate
#171 opened by MarisaKirisame - 0
Let do sharing
#164 opened by MarisaKirisame - 1
fix logical relation
#176 opened by MarisaKirisame - 0
- 0
Split Lang into Lang and DLang
#182 opened by MarisaKirisame - 0
Use stack
#163 opened by MarisaKirisame - 0
use Haddock
#175 opened by MarisaKirisame - 5
abs function has a error
#179 opened by flyfish30 - 2
Get Travis CI to cache APT packages
#167 opened by dramforever - 2
Test?
#168 opened by MarisaKirisame - 0
add continuation base NN api
#170 opened by MarisaKirisame