Haskell | Leon Vatthauerhttps://reijix.github.io/tag/haskell/HaskellHugo Blox Builder (https://hugoblox.com)en-usFri, 05 Apr 2024 00:00:00 +0000https://reijix.github.io/media/icon_hub45ac0acaff69694aef2f0c7d11308e1_2219_512x512_fill_lanczos_center_3.pngHaskellhttps://reijix.github.io/tag/haskell/Lambda Calculus Interpreterhttps://reijix.github.io/projects/lambda/Fri, 05 Apr 2024 00:00:00 +0000https://reijix.github.io/projects/lambda/PCF Interpreter and Typecheckerhttps://reijix.github.io/projects/pcf/Fri, 05 Apr 2024 00:00:00 +0000https://reijix.github.io/projects/pcf/Resolution Algorithm for FOLhttps://reijix.github.io/projects/resolution/Fri, 05 Apr 2024 00:00:00 +0000https://reijix.github.io/projects/resolution/