Commits

Author Commit Message Labels Comments Date
Albert Bagautdinov
Albert Bagautdinov
Albert Bagautdinov
Add cadng interface file
Albert Bagautdinov
kek
Albert Bagautdinov
Someshit
Albert Bagautdinov
Refactor monad.ml
Albert Bagautdinov
Add monad.ml
Albert Bagautdinov
Adding list and peano numbers implementations
Albert Bagautdinov
Adding line (endless) implemetation
Albert Bagautdinov
изменен(ы) cadng.ml
Albert Bagautdinov
Adding functions for sizes (metrics) and some stuff
Albert Bagautdinov
Rename cad-ng to cadng
Albert Bagautdinov
Refuq new.ml (primeness functions)
Albert Bagautdinov
Add solvespace model
Albert Bagautdinov
пользователь: Albert Bagautdinov <olibjerd@yandex.ru>
Albert Bagautdinov
Add solvespace model for homework
Albert Bagautdinov
Fix new.ml
Albert Bagautdinov
add new file
Albert Bagautdinov
Edit junky greater common divier definition in fraction-ng
Albert Bagautdinov
Refuq cad-ng and add some functions
Albert Bagautdinov
adding some functions and stuff
Albert Bagautdinov
Albert Bagautdinov
Add nextgen inplemetations
Albert Bagautdinov
Add ternary.ml — implementation of ternary logics
Albert Bagautdinov
Merged default (278d2a3c00a6) into default (a5327f4cd69f)
Albert Bagautdinov
Remove matrix.ml
Albert Bagautdinov
Merged default (455e6ff01003) into default (56c5c22261e3)
Albert Bagautdinov
README.md edited online with Bitbucket
Albert Bagautdinov
Fix style, comments and definition
Albert Bagautdinov
README.md edited online with Bitbucket
  1. Prev
  2. Next