Skip to content

Sean Leather
spl

Organizations

@UU-ComputerScience
spl commented on pull request reflex-frp/reflex#44
@spl

I didn't even realize “Filtrable” was a spelling in any dialect. Nonetheless, I think the issue that @ali-abrar is proposing a solution to is the s…

spl commented on issue leanprover/homebrew-lean#10
@spl

In the meantime, please try brew install lean (without --with-boost), I think this still works. It does work for installing lean. But since it us…

spl commented on pull request reflex-frp/reflex#44
@spl

:+1:

spl pushed to master at spl/emacs-config
@spl
  • @spl 581c932
    Use prelude-packages approach and set up Evil
spl pushed to master at spl/emacs-config
@spl
  • @spl 52737a8
    Only load lean-mode if lean-emacs-path exists
spl pushed to master at spl/emacs-config
@spl master is now e4339b5
spl pushed to master at spl/emacs-config
@spl
@spl
Build failure with 0.2.0.20160204220119.git04eaf184a92606a56e54d0d6c8d59437557263fc
spl created branch master at spl/emacs-config
spl created repository spl/emacs-config
spl commented on issue spl/dlist#25
@spl

@gregwebs Since Semigroup is in base for GHC 8.0, I think it makes sense to have an instance for it in dlist. What would you like to do about dlist…

spl opened issue spl/dlist#25
@spl
Semigroup instance
spl pushed to master at spl/bash-config
@spl
  • @spl 297dd53
    Add sshNoHostChecking alias
spl created repository spl/lean-emacs-server-docker
spl closed issue spl/dlist#24
@spl
Docs show data instead of newtype
spl commented on issue spl/dlist#24
@spl

This is a Haddock “feature.” If the newtype is abstract (i.e. the constructor is not exported), Haddock presents it as a data. See the N4 example here

@spl
spl created branch master at spl/lean-emacs-docker
spl created repository spl/lean-emacs-docker
spl pushed to master at spl/lean-docker
@spl
spl created branch master at spl/lean-docker
spl created repository spl/lean-docker
spl commented on issue miloyip/rapidjson#527
@spl

@miloyip Thanks. That makes more sense.

spl commented on issue miloyip/rapidjson#527
@spl

At one time, I wanted to be able to start parsing a string that contains a partial input (because the full input may not yet be available) and late…

spl deleted branch patch-16 at spl/tutorial
spl deleted branch patch-15 at spl/tutorial
spl deleted branch patch-14 at spl/tutorial
spl deleted branch patch-13 at spl/tutorial
spl deleted branch patch-12 at spl/tutorial
Something went wrong with that request. Please try again.