oisdk

oisdk has asked 2 questions and find answers to 32 problems.

Stats

About

Programming student, using Haskell, Agda, and Swift.

oisdk questions

Foldable instance for a Trie-Set
Change in Behaviour of Quantified Constraints in GHC 9

oisdk answers

Python fuctional style iterative algoritm?
Haskell: List manipulation
Model nested data stucture with 'can contain' constraint
Using map with filter
Swit map: error: cannot invoke 'map' with an argument list of type '((_) -> _)'
A concise way to not execute a loop now that C-Style for loops are going to be removed from Swift 3?
Splitting a string in swift using multiple delimiters
How can i prove that cons after uncons over coinductive list(a.k.a Stream) are identity, in Agda?
How to remove all chars except those in CharacterSet in Swift
Round currency closest to five