Skip to content

Eyal Lotem
Peaker

Peaker commented on pull request lamdu/lamdu#49
@Peaker

Thanks!

Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker merged pull request lamdu/lamdu#49
@Peaker
Update stack.yaml
1 commit with 5 additions and 7 deletions
@Peaker
  • @da-x 2d8f9ef
    Further relax bounds on OpenGL
Peaker created branch wip_compiler at lamdu/lamdu
Peaker pushed to master at lamdu/lamdu
@Peaker
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker 4887730
    IRef.Infer: Extract typeOfDefBody
Peaker created branch broken at lamdu/lamdu
@Peaker
  • @Peaker cf7d322
    Relax constraints on base-compat
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker a84853c
    Convert.Hole.Suggest: Remove superfluous wrapping with Infer.Loaded
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker ff389c9
    Avoid sugaring tags of colliding-tags field params
  • @Peaker 78ba5e8
    ConvertMonad: newtype TagFieldParam, towards tracking tags of non-sug…
  • 5 more commits »
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker 573f3a1
    Bump bound on base-compat
Peaker commented on commit lamdu/lamdu@ac440a485d
@Peaker

Stop is actually size according to this?

Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker a2de89e
    LightLambdaEdit: Allow shrinking light lambdas with escape key
  • @Peaker 33ab84e
    LightLambdaEdit: Allow expanding light lambdas with jump-to-definitio…
  • 1 more commit »
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker opened pull request ekmett/lens#624
@Peaker
Update Fold.hs
1 commit with 1 addition and 1 deletion
Peaker pushed to patch-1 at Peaker/lens
@Peaker
Peaker pushed to wip at lamdu/lamdu
@Peaker
  • @Peaker 831023a
    HoleEdit: [shift-]apostraphe when empty string generates a literal text
  • @Peaker 6304863
    Revert "Revert "TextSize uses new DrawingCombinators advance/bounding…
  • 10 more commits »
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker 6304863
    Revert "Revert "TextSize uses new DrawingCombinators advance/bounding…
  • @Peaker 58c502d
    Revert "parentDelegator takes focusEntryTarget"
  • 2 more commits »
Peaker pushed to master at lamdu/lamdu
@Peaker
  • @Peaker 5fe7ec5
    Revert "TextSize uses new DrawingCombinators advance/bounding widths …
Peaker pushed to master at lamdu/lamdu
@Peaker
Peaker pushed to master at lamdu/lamdu
@Peaker
Something went wrong with that request. Please try again.