Sassa NF

Sassa NF has asked 4 questions and find answers to 46 problems.

Stats

About

Sassa NF questions

Type families - cannot derive Base Int?
How to choose the design for a well-founded inductive type?
strange existential type

Sassa NF answers

Haskell - How to transform maximum (xs ++ map (x+) xs) to max (maximum xs) (x + maximum xs)
How to prove ¬ 2 < 1 in agda?
Use contents of a list as positional arguments to a single multi-argument function
Construct a pipes Proxy inside-out
How to interpret callCC in Haskell?
In Agda is it possible to define a datatype that has equations?
typeclass for repetitive actions until fixed point
why are the state and reader monads functions while the writer monad is a tuple?
List comprehension takes too much memory
Higher order function specifics with foldr and foldl