Danny Willems

Results 171 issues of Danny Willems

fun(a : sig type t end) ==> fun(A, ...)

See Church encoding.

Syntactic sugar
DIFFICULTY:hard

See `parser.mly` for `()`.

bug
DIFFICULTY:medium

enhancement
DIFFICULTY:easy

syntax
DIFFICULTY:medium

Type
syntax
DIFFICULTY:medium