Now that we have merged all of #70 (in particular, the new type information added to some STLC terms), we should be able to infer the type information for the STLC application term. We should do so, so that clients (Juvix) don't have to provide it explicitly.
rokopt
commented
1 year ago
Now that we have merged all of #70 (in particular, the new type information added to some STLC terms), we should be able to infer the type information for the STLC application term. We should do so, so that clients (Juvix) don't have to provide it explicitly.