Giters

dboulytchev / LRP-2021

A supplementary repository for the course on logic and relational programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LRP-2021

A supplementary repository for the course on logic and relational programming

About

A supplementary repository for the course on logic and relational programming

Languages

Language:Haskell 82.9%Language:OCaml 12.3%Language:Makefile 4.8%