Quantcast
Channel: What type of formal notation is being used here to represent functional algorithms? - Computer Science Stack Exchange
Viewing all articles
Browse latest Browse all 3

Answer by Petr for What type of formal notation is being used here to represent functional algorithms?

$
0
0

I haven't read the book but the snapshot is definitely Haskell. Most texts that contain Haskell code use some kind of pretty printer, most likely lhs2TeX. It assigns more type-setting-friendly symbols to many standard Haskell infix operations such as ++ or <=.

I suggest you to use browse Haskell's Prelude module, which contains functions available to all Haskell programs by default. Or you can search for a particular function using Hoogle.


Viewing all articles
Browse latest Browse all 3

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>