log src/corify.sml

age author description
Thu, 10 Oct 2013 18:04:29 -0400 Adam Chlipala Remove debug prints
Thu, 10 Oct 2013 18:01:30 -0400 Adam Chlipala Make transactional FFI functions effectful by default
Thu, 29 Mar 2012 09:55:04 -0400 Adam Chlipala Fix defunctorization of modules containing datatype definitions