Justin L.

Justin L. has asked 59 questions and find answers to 57 problems.

Stats

About

Undergrad Physics student.

Justin L. questions

What are the advantages of using vim to program Ruby (over Notepad++)? (other languages, too, but specifically Ruby) [closed]
Implementing this monad/type in Haskell?
Using SNat from Data.Singletons like other Sing instances?
Using custom ghcjs fork with stack
Problem pushing to Heroku with dm-migrations
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?

Justin L. answers

String or list substitution in Python
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