luismtorresv / prf Star 0 Code Issues Pull requests The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.haskellquickcheckrecursortasty-frameworkprimitive-recursive-functionseafitchurch-numeralsprogramming-labst0244peano-axioms Updated Jun 27, 2023Haskell
luismtorresv / unify Star 0 Code Issues Pull requests The purpose of this final course project is to write a program that implements the unification algorithm.type-theoryunification-algorithmeafitst0244robinson-unificationpierce-2002 Updated Jul 1, 2023Haskell
luismtorresv / interop Star 0 Code Issues Pull requests The aim of this programming lab is to use a C++ function from a Java program.interoperabilityjava-native-interfaceeafitprogramming-labst0244 Updated May 11, 2023Java