Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in mercury

Mercury: Determinism and pattern matching

pattern-matching mercury

Mercury: How to declare determinism of a higher-order data type?

lambda non-deterministic mercury

Mercury installation

mercury

What is a "strongly moded" programming language?

functional-programming language-lawyer mode mercury

How to generate lists of fresh variables in Mercury like I can in Prolog?

prolog mercury

Does any version of Prolog support higher order abstraction of accumulators?

prolog mercury

What benefit does types bring in logic programming languages like Mercury?

types logic first-order-logic mercury

What other ways can state be handled in a pure functional language besides with Monads?

haskell functional-programming mercury