search

Soonad / Base.fm

Standard library for the Formality language
http://tiny.cc/8nvvgz
MIT License
18 stars 2 forks source link

Fix docs #8

Closed MaisaMilena closed 5 years ago

MaisaMilena commented 5 years ago

Fix some bugs in Docs. There are still some files that I couldn't fix: fm Docs.Datatypes.DependentMotives/unreach_branch.example_0c -t fm Docs.TheoremProving.InductiveProofs/main -t