Essays about: "PureScript"
Found 2 essays containing the word PureScript.
-
1. Proof Editor for Natural Deduction
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. READ MORE
-
2. Functional Programming and Legacy Software Using PureScript to Extend a Legacy JavaScript System
University essay from Umeå universitet/Institutionen för datavetenskapAbstract : Legacy systems are everywhere. Immense resources are placed on fixing problems caused by them, and on legacy system maintenance and reverse engineering. After decades of research, a solution has yet to be found. READ MORE
Result pages:
1