Commits
Author  Commit  Message  Labels  Comments  Approvals  Date 

e3f3f37
M









Add cadng interface file




kek




Someshit




Refactor monad.ml




Add monad.ml




Adding list and peano numbers implementations




Adding line (endless) implemetation




изменен(ы) cadng.ml




Adding functions for sizes (metrics) and some stuff




Rename cadng to cadng




Refuq new.ml (primeness functions)




Add solvespace model




a8054a6
M

пользователь: Albert Bagautdinov <olibjerd@yandex.ru>
слияние веток
ветка 'default'
изменен(ы) new.ml
удален(ы) test.model




Add solvespace model for homework




Fix new.ml




add new file




Edit junky greater common divier definition in fractionng


Approvals 1 


Refuq cadng and add some functions




adding some functions and stuff








Add nextgen inplemetations




Add ternary.ml — implementation of ternary logics





0baf2a6
M

Merged default (278d2a3c00a6) into default (a5327f4cd69f)


Approvals 1 


a5327f4
M

Remove matrix.ml


Approvals 1 



278d2a3
M

Merged default (455e6ff01003) into default (56c5c22261e3)


Approvals 1 



README.md edited online with Bitbucket




Fix style, comments and definition


Approvals 1 



README.md edited online with Bitbucket


