blonded04 / lrp-supplementary

πŸŽ“ HSE University (SPb) Relational and Logic Programming (Spring 2024) course assignments

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LRP-2021

A supplementary repository for the course on logic and relational programming

About

πŸŽ“ HSE University (SPb) Relational and Logic Programming (Spring 2024) course assignments


Languages

Language:Haskell 87.6%Language:OCaml 9.5%Language:Makefile 2.9%