Skip to content

update for idris 1.0#1

Open
clayrat wants to merge 1 commit into
fieldstrength:masterfrom
clayrat:master
Open

update for idris 1.0#1
clayrat wants to merge 1 commit into
fieldstrength:masterfrom
clayrat:master

Commits

Commits on May 26, 2017