Giters

buzden / idris2-ncd-xz

Library and program for computing the normalised compression distance

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Normalised compression distance for Idris 2

About

Library and program for computing the normalised compression distance

Languages

Language:Idris 93.3%Language:Shell 6.7%