XRule-Systems/latexproof.tex at main · lambda-land/XRule-Systems · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
Build profile: -w ghc-9.4.1 -O1
In order, the following will be built (use -v for more details):
 - xrs-0.1.0.0 (lib) (file src/OpSem.hs changed)
 - xrs-0.1.0.0 (exe:XRuleSystems) (dependency rebuilt)
Preprocessing library for xrs-0.1.0.0..
Building library for xrs-0.1.0.0..
[11 of 14] Compiling OpSem            ( src/OpSem.hs, /Users/iainmoncrief/Documents/Github/XRule-Systems/dist-newstyle/build/x86_64-osx/ghc-9.4.1/xrs-0.1.0.0/build/OpSem.o, /Users/iainmoncrief/Documents/Github/XRule-Systems/dist-newstyle/build/x86_64-osx/ghc-9.4.1/xrs-0.1.0.0/build/OpSem.dyn_o ) [Source file changed]
Preprocessing executable 'XRuleSystems' for xrs-0.1.0.0..
Building executable 'XRuleSystems' for xrs-0.1.0.0..
[2 of 2] Linking /Users/iainmoncrief/Documents/Github/XRule-Systems/dist-newstyle/build/x86_64-osx/ghc-9.4.1/xrs-0.1.0.0/x/XRuleSystems/build/XRuleSystems/XRuleSystems [Library changed]
let x = 1 in let inc = $\lambda$ y -> x + y in let x = 6 in inc 5
\{  \} : \code{let x = 1 in let inc = $\lambda$ y -> x + y in let x = 6 in inc 5} \Rightarrow \code{6}