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

New posts in miranda

Representing Integers as Functions (Church Numerals?)

haskell miranda

How does lazy-evaluation allow for greater modularization?

haskell functional-programming lazy-evaluation higher-order-functions miranda

Haskell / Miranda: Find the type of the function

haskell types functional-programming type-inference miranda

Abusing the algebra of algebraic data types - why does this work?

haskell functional-programming algebraic-data-types miranda