Introducing Fran the Finite State Automaton

[compilerbitch]

Comments

[ashley-y.livejournal.com]

OK, when evaluating "cons int 4 (nil int)" I came across this, which confused me:

nil int : int list, where

nil int = Λβ . λb:β . λf:β→int→β . b
int list = ∀β.β→(β→int→β)→β

But it looks correct now.