issues
search
Soonad
/
Base.fm
Standard library for the Formality language
http://tiny.cc/8nvvgz
MIT License
18
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix List.filter to correctly filter items
#16
LoPoHa
opened
4 years ago
0
Added binaryOperation helper file
#15
Eloitor
closed
4 years ago
2
Jcb/rewrite
#14
johnchandlerburnham
opened
4 years ago
0
Fix Issue #42 in Formality
#13
LoPoHa
closed
4 years ago
1
style guide and library refactor:
#12
johnchandlerburnham
closed
4 years ago
1
Jcb/salvage
#11
johnchandlerburnham
closed
4 years ago
0
Wrong implementation of Nat add
#10
LoPoHa
closed
4 years ago
1
feat: add Json modules
#9
bamorim
closed
4 years ago
0
Fix docs
#8
MaisaMilena
closed
4 years ago
0
Fix bug on Docs.Boxes.Application
#7
MaisaMilena
closed
4 years ago
0
Fix typo
#6
MaisaMilena
closed
5 years ago
0
implemented dual monoid, trying axiom of extensionality and embedding…
#5
johnchandlerburnham
closed
5 years ago
0
Maisa/update
#4
MaisaMilena
closed
5 years ago
0
Fix RightAlternative
#3
silkvine
closed
5 years ago
0
Style guide: What to do with functions that are too long for a single line?
#2
johnchandlerburnham
closed
4 years ago
3
Strange `nand` and `nor`
#1
semenov-vladyslav
closed
5 years ago
2