
15 Mar
2015
15 Mar
'15
12:55 p.m.
Hello, F* uses a somewhat similar approach: https://fstar-lang.org/tutorial/ (section 2, Types and Effects) Best regards, Marcin Mrotek