Skip to content
Standard library for the Formality language
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
And.fm initial reformatting and minor changes Nov 19, 2019
App.fm Multiple additions Nov 19, 2019
Array.fm Style changes, don't pass 80-column limit Nov 19, 2019
Base.fm Multiple additions Nov 19, 2019
Bits.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
Bool.fm initial reformatting and minor changes Nov 19, 2019
DemoApp.fm Style changes, don't pass 80-column limit Nov 19, 2019
Empty.fm initial reformatting and minor changes Nov 19, 2019
Equal.fm Merge branch 'master' of github.com:moonad/formality-base into jcb/sa… Nov 19, 2019
Fin.fm more formatting and minor changes Nov 19, 2019
Function.fm more formatting and minor changes Nov 19, 2019
IBin.fm Style changes, don't pass 80-column limit Nov 19, 2019
IBits.fm Style changes, don't pass 80-column limit Nov 19, 2019
INat.fm Merge branch 'master' of github.com:moonad/formality-base into jcb/sa… Nov 19, 2019
JSON.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
LICENSE Add LICENSE Aug 24, 2019
List.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
Maybe.fm add map, ap, pure, bind to Maybe.fm Nov 20, 2019
Nat.fm Minor fix in Nat.fm Nov 20, 2019
Or.fm
Parse.fm Style changes, don't pass 80-column limit Nov 19, 2019
Path.fm Multiple additions Nov 19, 2019
STYLE.md add a preliminary style guide and update some modules to match Sep 4, 2019
String.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
The.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
Tree.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
U32.fm add safe U32 math library Nov 19, 2019
Unit.fm initial reformatting and minor changes Nov 19, 2019
Vector.fm Expanded Maybe.fm, more formatting and minor changes Nov 19, 2019
You can’t perform that action at this time.