-- Found hole `_' with type f (Free f b)
Languages with Typed Holes include Haskell, Agda, hazel, darklang
Read more about Typed Holes on the web: 1.
HTML of this page generated by Features.ts
View source