Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 101 Bytes
Extensions to the proof-producing translator to support
stateful/imperative (monadic) HOL functions.