Justin L.

Justin L. has asked 54 questions and find answers to 56 problems.

Stats

About

Undergrad Physics student.

Justin L. questions

Defined a type family (++); any way to prove that (vs ++ us) ~ '[] implies (vs ~ '[]) and (us ~ '[])?
Manually specifying ismorphisms for unidirectional pattern synonym
Formatting Facet/Multi-View Labels in vega-lite
Optimized "Multidimensional" Arrays in Ruby
Number of simple mutations to change one string to another?
What solutions are available if I apparently want to access to a hidden data constructor?
Escaping ampersands in Blaze Html
Customizing response headers in Wai middleware
Understanding Ruby Enumerable#map (with more complex blocks)
Converting this FreeT (explicitly recursive data type) function to work on FT (church encoding)

Justin L. answers

Haskell - Blank cells in a sudoku
Inverse of number in binary
Haskell: Is it possible to use numbers as data constructors?
What do returning curly braces mean in javascript (ex. return { init : init} ) [duplicate]
What does "break" do in this ruby statement
Graph Drawing With Weighted Edges
Effective data structure for overlapping spatial areas
Check if a string substitution rule will ever generate another string
Implement an O(log n) Foldable.elem for binary search trees in Haskell
Circle approximations using Bezier curves