issues
search
isovector
/
algebra-driven-design
Source material for Algebra-Driven Design
https://leanpub.com/algebra-driven-design
134
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
QuickSpec issues in release 1.2
#12
kubukoz
opened
10 months ago
2
Minor fixes
#11
kubukoz
opened
10 months ago
0
V1.2
#10
isovector
closed
11 months ago
0
Add mising parameter to a law
#9
kubukoz
closed
11 months ago
1
Exercise solutions?
#8
kubukoz
closed
11 months ago
4
Missing smart constructors in Section 6.1?
#7
chtenb
opened
1 year ago
4
Broken defaultTo reference
#6
evenbrenden
opened
3 years ago
0
Fix some typos
#5
evenbrenden
closed
3 years ago
3
Fix typo
#4
TristanCacqueray
closed
3 years ago
2
Type UX Suggestion
#3
mmport80
opened
3 years ago
2
missing paren
#2
isovector
opened
3 years ago
0
How to specify observations for things related with time?
#1
Qqwy
closed
3 years ago
6