Files

interfaces

Fixes in monad interface

Oct 16, 2017

8098d83 · Oct 16, 2017

Name		Name	Last commit message	Last commit date
parent directory ..
monad_interface.v		monad_interface.v	Fixes in monad interface	Oct 16, 2017
set_names.v		set_names.v	Basic structure of project	Oct 16, 2017