oisdk

oisdk has asked 1 questions and find answers to 28 problems.

Stats

About

Programming student, using Haskell, Agda, and Swift.

oisdk questions

Change in Behaviour of Quantified Constraints in GHC 9

oisdk answers

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
Swift ternary operator compilation error
How the type `Fix` and function `fix` are same in Haskell?
Swift negative indexing in arrays
Implementing Total Parsers in Idris Based on a Paper on Agda